1027 search results - page 146 / 206 » Representing and Reasoning with Operational Semantics |
126
Voted
ICDE
2005
IEEE
15 years 6 months ago
2005
IEEE
— XQuery, the defacto XML query language, is a functional language with operational semantics, which precludes the direct application of classical query optimization techniques. ...
143
click to vote
DALT
2005
Springer
15 years 6 months ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
139
click to vote
KI
1998
Springer
15 years 4 months ago
1998
Springer
The control of mobile robots acting autonomously in the real world is one of the long-term goals of the field of artificial intelligence. So far the field lacks methods bridging th...
194
Voted
GIS
2008
ACM
16 years 1 months ago
2008
ACM
Multi-dimensional spatial data are obtained when a number of data acquisition devices are deployed at different locations to measure a certain set of attributes of the study subje...
63
Voted
KR
2004
Springer
15 years 6 months ago
2004
Springer
Merging operators aim at defining the beliefs/goals of a group of agents from the beliefs/goals of each member of the group. Whenever an agent of the group has preferences over t...