969 search results - page 5 / 194 » Generalized matching from theory to application |
ICRA
2010
IEEE
13 years 5 months ago
2010
IEEE
— Game theoretical approaches have been recently used to develop patrolling strategies for mobile robots. The idea is that the patroller and the intruder play a game, whose outco...
POPL
2007
ACM
14 years 7 months ago
2007
ACM
Future software development will rely on product synthesis, i.e., the synthesis of code and non-code artifacts for a target component or application. Prior work on feature-based p...
IMAMS
2007
13 years 8 months ago
2007
Conformal geometry is in the core of pure mathematics. Conformal structure is more flexible than Riemaniann metric but more rigid than topology. Conformal geometric methods have p...
OOPSLA
2005
Springer
14 years 16 days ago
2005
Springer
An aspect observes the execution of a base program; when certain actions occur, the aspect runs some extra code of its own. In the AspectJ language, the observations that an aspec...
AAAI
1990
13 years 8 months ago
1990
This paper studies sorted generalization-the generalization, with respect to an arbitrary taxonomic theory, of atomic formulas containing sorted variables. It develops an algorith...