2661 search results - page 455 / 533 » Quantum Complexity Classes |
117
Voted
EMSOFT
2009
Springer
15 years 4 months ago
2009
Springer
This paper addresses the question of producing modular sequential imperative code from synchronous data-flow networks. Precisely, given a system with several input and output flow...
109
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents a framework for robustly recognizing physical team behaviors by exploiting spatio-temporal patterns. Agent team behaviors in athletic and military domains typi...
120
click to vote
COLT
2006
Springer
15 years 4 months ago
2006
Springer
We describe a new approach for understanding the difficulty of designing efficient learning algorithms. We prove that the existence of an efficient learning algorithm for a circui...
94
Voted
ESA
2006
Springer
15 years 4 months ago
2006
Springer
A coloring is proper if each color class induces connected components of order one (where the order of a graph is its number of vertices). Here we study relaxations of proper two-c...
99
Voted
ICSE
2000
IEEE-ACM
15 years 4 months ago
2000
IEEE-ACM
Separation of concerns has been central to software engineering for decades, yet its many advantages are still not fully realized. A key reason is that traditional modularization ...