Sciweavers

2082 search results - page 86 / 417
» Change Paths in Reasoning!
Sort
View
ESAW
2006
Springer
14 years 20 days ago
Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
Tim Miller, Peter McBurney
FMLDO
2000
Springer
138views Database» more  FMLDO 2000»
14 years 18 days ago
Schema Evolution and Versioning: A Logical and Computational Characterisation
In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general objectoriented model for sc...
Enrico Franconi, Fabio Grandi, Federica Mandreoli
WWW
2006
ACM
14 years 9 months ago
Symmetrically exploiting XML
Path expressions are the principal means of locating data in a hierarchical model. But path expressions are brittle because they often depend on the structure of data and break if...
Shuohao Zhang, Curtis E. Dyreson
ICRA
2005
IEEE
115views Robotics» more  ICRA 2005»
14 years 2 months ago
An Interpolated Dynamic Navigation Function
— The E∗ algorithm is a path planning method capable of dynamic replanning and user-configurable path cost interpolation. It calculates a navigation function as a sampling of ...
Roland Philippsen, Roland Siegwart
IEEEPACT
2002
IEEE
14 years 1 months ago
Quantifying Instruction Criticality
Information about instruction criticality can be used to control the application of micro-architectural resources efficiently. To this end, several groups have proposed methods t...
Eric Tune, Dean M. Tullsen, Brad Calder