11740 search results - page 81 / 2348 » More Problems in Rewriting |
100
Voted
SIGOPSE
2004
ACM
15 years 6 months ago
2004
ACM
Implementing an extension of a legacy operating system requires knowing what functionalities the extension should provide and how the extension should be integrated with the legac...
88
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
— Since Witsenhausen put forward his remarkable counterexample in 1968, there have been many attempts to develop efficient methods for solving this non-convex functional optimiz...
108
Voted
KI
2007
Springer
15 years 16 days ago
2007
Springer
Various forms of reasoning, the profusion of knowledge, the gap between neuro-inspired approaches and conceptual representations, the problem of inconsistent data input, and the ma...
103
click to vote
WDAG
2010
Springer
14 years 11 months ago
2010
Springer
Leader election and arbitrary pattern formation are fundammental tasks for a set of autonomous mobile robots. The former consists in distinguishing a unique robot, called the lead...
130
Voted
CCS
2005
ACM
15 years 6 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...