1027 search results - page 94 / 206 » Representing and Reasoning with Operational Semantics |
120
Voted
RAS
2008
15 years 7 days ago
2008
Task planning for mobile robots usually relies solely on spatial information and on shallow domain knowledge, like labels attached to objects and places. Although spatial informat...
116
Voted
ICDE
2008
IEEE
15 years 7 months ago
2008
IEEE
— Security is emerging as an important requirement for a number of distributed applications such as online banking, social networking etc. due to the private nature of the data b...
107
click to vote
TCS
2008
15 years 20 days ago
2008
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
87
Voted
GLOBECOM
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— Policy based networks provide high levels of flexibility by allowing definition of packet handling rules within a network, resource allocation strategies, network man...
100
click to vote
IDEAL
2004
Springer
15 years 6 months ago
2004
Springer
AURA (Advanced Uncertain Reasoning Architecture) is a parallel pattern matching technology intended for high-speed approximate search and match operations on large unstructured dat...