Results 11 - 20
of
29
bDepartementdePhysique,UniversiteLaval,QuebecG1K7P4,Canada
, 1995
"... aInstitutfurKernphysik,TechnischeUniversitatWien,A-1040Vienna,Austria ..."
Agilo RoboCuppers: RoboCup Team Description
, 2000
"... This paper describes the Agilo RoboCuppers 1 team of the image understanding group (FG BV) at the Technische Universitat Munchen. With a team of four Pioneer 1 robots, equipped with CCD camera and a single board computer each and coordinated by a master PC outside the eld we participate in t ..."
Abstract
-
Cited by 3 (1 self)
- Add to MetaCart
This paper describes the Agilo RoboCuppers 1 team of the image understanding group (FG BV) at the Technische Universitat Munchen. With a team of four Pioneer 1 robots, equipped with CCD camera and a single board computer each and coordinated by a master PC outside the eld we participate
Awareness Information in Wide Area Networks
, 1997
"... : The collaborative editing of documents by teams that are distributed over many locations is a very common task nowadays. Consequently, it is a primary requirement to create editors that support that task. These group editors should be usable seamlessly in local area networks (LANs), in wide area n ..."
Abstract
- Add to MetaCart
and Distributed Systems Group, Department of Informatics, Technische Universit"at M"unchen, Germany 1 Introduction Nowadays working groups are often distributed and the group members are spread over several departments or companies. Increasing network availability in the last decade has been a major
Pre-proceedings: MFCS'98 Workshop on Concurrency August 27-29, 1998 Brno, Czech Republic
, 1998
"... State-Space from a Partial-Order Representation of the Concrete One ::::::::::::::::::::::::::::::::::160 U. Nitsche Characterizing BisimilarityofValue-passing Processes with Context-free Control :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::171 P. Paczkowski Hardness Results for We ..."
Abstract
- Add to MetaCart
. Virbitskaite Veri#cation with unfoldings Javier Esparza Institut f#r Informatik Technische Universit#t M#nchen esparza@informatik.tu-muenchen.de The automatic veri#cation of #nite state systems su#ers from the explosion of states caused by the many possible permutations of concurrent events. Unfoldings are a
Agilo RoboCuppers: RoboCup Team Description
, 1999
"... . This paper describes the Agilo RoboCuppers 1 -- the RoboCup team of the image understanding group (FG BV) at the Technische Universit at Munchen. With a team of five Pioneer 1 robots, equipped with CCD camera and a single board computer each and coordinated by a master PC outside the field w ..."
Abstract
- Add to MetaCart
. This paper describes the Agilo RoboCuppers 1 -- the RoboCup team of the image understanding group (FG BV) at the Technische Universit at Munchen. With a team of five Pioneer 1 robots, equipped with CCD camera and a single board computer each and coordinated by a master PC outside the field
Learning Topology-Preserving Maps Using Self-Supervised Backpropagation on a Parallel Machine
, 1992
"... Self-supervised backpropagation is an unsupervised learning procedure for feedforward networks, where the desired output vector is identical with the input vector. For backpropagation, we are able to use powerful simulators running on parallel machines. Topology-preserving maps, on the other hand, c ..."
Abstract
- Add to MetaCart
@icsi.berkeley.edu?, and Technische Universit at Berlin, Germany !ao@cs.tu-berlin.de?. ii 1.
On the use of Lyapunov function methods in renewal theory
, 1997
"... : Based on recent results on the exploitation of "drift criteria" for general state space Markov processes, we derive rates of convergence for (moments of) processes associated with a renewal process with common inter-renewal time distribution F . Some of the results are classical and some ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
@alea.ece.utexas.edu Institut f ur Mathematische Stochastik Technische Universit at Braunschweig Pockelsstrae 14, Postfach 33 29 38023 Braunschwe...
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
, 1999
"... . We present many-valued disjunctive logic programs in which classical disjunctive logic program clauses are extended by a truth value that respects the material implication. Interestingly, these many-valued disjunctive logic programs have both a probabilistic semantics in probabilities over possibl ..."
Abstract
- Add to MetaCart
coincides with the stable model semantics. Finally, we show that some special cases of propositional many-valued disjunctive logic programming under minimal, perfect, and stable model semantics have the same complexity like their classical counterparts. 1 Institut fur Informationssysteme, Technische
Axiomatic Semantics for Java^light (Extended Abstract)
"... { David von Oheimb ? Technische Universitat Munchen http://www.in.tum.de/~oheimb/ Abstract. We introduce a Hoare-style calculus for a nearly full subset of sequential Java, which we call Java `ight . This axiomatic semantics has been proved sound and complete wrt. our operational semantics of ..."
Abstract
- Add to MetaCart
{ David von Oheimb ? Technische Universitat Munchen http://www.in.tum.de/~oheimb/ Abstract. We introduce a Hoare-style calculus for a nearly full subset of sequential Java, which we call Java `ight . This axiomatic semantics has been proved sound and complete wrt. our operational semantics
unknown title
"... Steffen Klassert, Daniel Lenz and Peter Stollmann Fakult"at f"ur MathematikTechnische Universit"at Chemnitz D-09107 Chemnitz, Germany 0.1.1 Introduction The effect of disorder (i.e. deviation from periodicity) in solid state models is of fundamentalimportance. It has stimu ..."
Abstract
- Add to MetaCart
Steffen Klassert, Daniel Lenz and Peter Stollmann Fakult"at f"ur MathematikTechnische Universit"at Chemnitz D-09107 Chemnitz, Germany 0.1.1 Introduction The effect of disorder (i.e. deviation from periodicity) in solid state models is of fundamentalimportance. It has
Results 11 - 20
of
29