Sciweavers

2989 search results - page 161 / 598
» Using Domain-Independent Problems for Introducing Formal Met...
Sort
View
ESA
2008
Springer
137views Algorithms» more  ESA 2008»
14 years 11 months ago
Flexible Path Planning Using Corridor Maps
Path planning is a central problem in virtual environments and games. When computer-controlled characters move around in virtual worlds they have to plan their paths to desired loc...
Mark H. Overmars, Ioannis Karamouzas, Roland Gerae...
DCC
1999
IEEE
15 years 2 months ago
Distributed Source Coding Using Syndromes (DISCUS): Design and Construction
We address the problem of distributed source coding, i.e. compression of correlated sources that are not co-located and/or cannot communicatewith each other to minimize their join...
S. Sandeep Pradhan, Kannan Ramchandran
AIPS
2009
14 years 11 months ago
Automatic Derivation of Memoryless Policies and Finite-State Controllers Using Classical Planners
Finite-state and memoryless controllers are simple action selection mechanisms widely used in domains such as videogames and mobile robotics. Memoryless controllers stand for func...
Blai Bonet, Héctor Palacios, Hector Geffner
OOPSLA
2007
Springer
15 years 4 months ago
A rewriting approach to the design and evolution of object-oriented languages
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
Mark Hills, Grigore Rosu
SOSYM
2008
90views more  SOSYM 2008»
14 years 10 months ago
A metamodeling language supporting subset and union properties
Abstract. The Meta Object Facility (MOF) 2.0 and the Unified Modeling Language Infrastructure introduce new language features such as subsets, (derived) unions and redefinitions, b...
Marcus Alanen, Ivan Porres