• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 11 - 20 of 29
Next 10 →

bDepartementdePhysique,UniversiteLaval,QuebecG1K7P4,Canada

by unknown authors , 1995
"... aInstitutfurKernphysik,TechnischeUniversitatWien,A-1040Vienna,Austria ..."
Abstract - Add to MetaCart
aInstitutfurKernphysik,TechnischeUniversitatWien,A-1040Vienna,Austria

Agilo RoboCuppers: RoboCup Team Description

by Sebastian Buck, Robert Hanek, Michael Klupsch, Thorsten Schmitt , 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

by Michael Koch, Daniel Köhler, Martin Bürger , 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

by Petr Jancar, Mojmir Kretinsky (eds.) , 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

by Thorsten Bandlow Robert, Thorsten B, Robert Hanek, Michael Klupsch, Thorsten Schmitt, The Robocup , 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

by Backpropagation On A Parallel, Arnfried Ossen , 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

by Takis Konstantopoulos, Günter Last , 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

by Abtg Wissensbasierte Systeme, Abteilung Wissensbasierte Systeme, Thomas Lucasiewicz, Thomas Lukasiewicz , 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)

by David von Oheimb
"... { 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

by unknown authors
"... 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
Next 10 →
Results 11 - 20 of 29
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2016 The Pennsylvania State University