3446 search results - page 483 / 690 » A Reasoning Algorithm for pD* |
189
Voted
ESOP
2010
Springer
16 years 19 days ago
2010
Springer
Stream processing applications such as algorithmic trading, MPEG processing, and web content analysis are ubiquitous and essential to business and entertainment. Language designers...
152
click to vote
ATAL
2009
Springer
16 years 11 days ago
2009
Springer
This paper considers the design of agent strategies for deciding whether to help other members of a group with whom an agent is engaged in a collaborative activity. Three characte...
121
click to vote
ICPR
2008
IEEE
16 years 7 days ago
2008
IEEE
Acute renal rejection is the most common reason for graft (transplanted kidney) failure after kidney transplantation, and early detection is crucial to survival of function in the...
168
Voted
ICRA
2008
IEEE
16 years 7 days ago
2008
IEEE
— Local linearizations are ubiquitous in the control of robotic systems. Analytical methods, if available, can be used to obtain the linearization, but in complex robotics system...
180
click to vote
OOPSLA
2007
Springer
15 years 12 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...