2082 search results - page 232 / 417 » Change Paths in Reasoning! |
169
click to vote
TIME
2009
IEEE
16 years 18 days ago
2009
IEEE
Morris, Muscettola and Vidal (MMV) presented an algorithm for checking the dynamic controllability (DC) of temporal networks in which certain temporal durations are beyond the con...
137
click to vote
OOPSLA
2009
Springer
16 years 12 days ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
167
click to vote
CW
2005
IEEE
15 years 11 months ago
2005
IEEE
Agents are systems capable of perceiving their environment through sensors, reasoning about their sensory input using some characteristic reasoning process and acting in their env...
156
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
A major issue in the study of semantic Web services concerns the matching problem of Web services. Various techniques for this problem have been proposed. Typical ones include FSM ...
167
click to vote
DBKDA
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—Design applications, e.g., CAD or media production, often require multiple users to work cooperatively on shared data, e.g., XML documents. Using explicit transactions i...