940 search results - page 133 / 188 » Control Abstractions for Local Search |
109
Voted
SSS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. A snap-stabilizing protocol, starting from any arbitrary initial configuration, always behaves according to its specification. In [4], we presented the first snap-stab...
124
Voted
AI50
2006
15 years 6 months ago
2006
Abstract. Children seem intrinsically motivated to manipulate, to explore, to test, to learn and they look for activities and situations that provide such learning opportunities. I...
119
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but ...
122
Voted
FUIN
2007
15 years 2 months ago
2007
Abstract. Approximate Petri nets (AP-nets) can be used for the knowledge representation and approximate reasoning. The AP-net model is defined on the basis of the rough set approa...
143
Voted
ESWS
2010
Springer
15 years 19 days ago
2010
Springer
Abstract. Controlled vocabularies of various kinds (e.g., thesauri, classification schemes) play an integral part in making Cultural Heritage collections accessible. The various in...