1907 search results - page 111 / 382 » Visualizing Action Semantics |
AIPS
2004
13 years 9 months ago
2004
Conformant planning is the task of generating plans given uncertainty about the initial state and action effects, and without any sensing capabilities during plan execution. The p...
IJWET
2010
13 years 3 months ago
2010
: Due to the market sensitivity to emerging news, investors on financial markets need to continuously monitor financial events when deciding on buying and selling equities. We prop...
IV
2007
IEEE
14 years 2 months ago
2007
IEEE
Patents are an invaluable source of scientific and technological information. Due to the strongly increasing number of patent applications and the broadening of the objectives of...
ICDE
2001
IEEE
14 years 9 months ago
2001
IEEE
A distributed message delivery system can use replication to improve performance and availability. However, without safeguards, replicated messages may be delivered to a mobile de...
BIRTHDAY
2007
Springer
14 years 2 months ago
2007
Springer
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...