3446 search results - page 397 / 690 » A Reasoning Algorithm for pD* |
171
click to vote
DSD
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper presents a method with an evolutionary approach to some of the tasks of integrated-circuit (IC) design. The work is focused on application-specific integrated circuits ...
184
click to vote
IEEEAMS
2003
IEEE
16 years 15 hour ago
2003
IEEE
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...
154
click to vote
ISCC
2003
IEEE
16 years 10 hour ago
2003
IEEE
In today’s Internet a user can be adversely affected by other users that overload the router. To address this problem, routers need to provide flow isolation. In this paper, we...
186
click to vote
LICS
2003
IEEE
16 years 7 hour ago
2003
IEEE
We define the class of micro-macro stack graphs, a new class of graphs modeling infinite-state sequential systems with a decidable model-checking problem. Micro-macro stack grap...
174
click to vote
VL
2003
IEEE
16 years 4 hour ago
2003
IEEE
Models of programming and debugging suggest many causes of errors, and many classifications of error types exist. Yet, there has been no attempt to link causes of errors to these ...