256 search results - page 10 / 52 » Separation of NP-Completeness Notions |
ENTCS
2006
13 years 7 months ago
2006
Components allow to design applications in a modular way by enforcing a strong separation of concerns. In distributed systems this separation of concerns have to be composed with ...
JSYML
2011
12 years 10 months ago
2011
This paper continues the study of the Ramsey-like large cardinals introduced in [Git09] and [WS08]. Ramsey-like cardinals are defined by generalizing the “existence of elementar...
ACSD
2003
IEEE
14 years 22 days ago
2003
IEEE
This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent task...
IJCAI
1997
13 years 8 months ago
1997
The paper addresses the concept of cognition starting from the role of a sensor basis in the design of robots. The field of robotics forces the discussion to be pragmatic which is...
EACL
1989
ACL Anthology
13 years 8 months ago
1989
ACL Anthology
We sketch and illustrate an approach to machine translation that exploits the potential of simultaneous correspondences between separate levels of linguistic representation, as fo...