Sciweavers

15792 search results - page 136 / 3159
» Computational Abstraction Steps
Sort
View
AIM
2006
13 years 9 months ago
Unifying Undergraduate Artificial Intelligence Robotics: Layers of Abstraction Over Two Channels
Undergraduate Artificial Intelligence Robotics: Layers Of Abstraction Over Two Channels Frederick L. Crabbe Computer Science Department United States Naval Academy 572C Holloway Rd...
Frederick L. Crabbe
ENTCS
2007
102views more  ENTCS 2007»
13 years 9 months ago
Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
Brigitte Pientka
APPROX
2010
Springer
133views Algorithms» more  APPROX 2010»
13 years 4 months ago
Liftings of Tree-Structured Markov Chains - (Extended Abstract)
d Abstract) Thomas P. Hayes1 and Alistair Sinclair2 1 Department of Computer Science, University of New Mexico 2 Computer Science Division, University of California at Berkeley A &...
Thomas P. Hayes, Alistair Sinclair
CORR
2008
Springer
73views Education» more  CORR 2008»
13 years 9 months ago
Regularities of the distribution of abstract van der Corput sequences
TIES OF THE DISTRIBUTION OF ABSTRACT VAN DER CORPUT SEQUENCES WOLFGANG STEINER Abstract. Similarly to -adic van der Corput sequences, abstract van der Corput secan be defined by ab...
Wolfgang Steiner
ECCV
2004
Springer
14 years 11 months ago
An MCMC-Based Particle Filter for Tracking Multiple Interacting Targets
Abstract. We describe a Markov chain Monte Carlo based particle filter that effectively deals with interacting targets, i.e., targets that are influenced by the proximity and/or be...
Zia Khan, Tucker R. Balch, Frank Dellaert