2479 search results - page 211 / 496 » Quantum complexity theory |
164
click to vote
ECMDAFA
2007
Springer
16 years 27 days ago
2007
Springer
Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a s...
258
click to vote
ILC
2007
Springer
16 years 26 days ago
2007
Springer
Two-way alternating automata were introduced by Vardi in order to study the satisfiability problem for the modal µ-calculus extended with backwards modalities. In this paper, we ...
192
Voted
XPU
2007
Springer
16 years 25 days ago
2007
Springer
This research explored aspects of agile teamwork initiatives associated with positive socio-psychological phenomena, with a focus on phenomena outside the scope of traditional mana...
147
click to vote
COMPGEOM
2006
ACM
16 years 21 days ago
2006
ACM
The k-means method is an old but popular clustering algorithm known for its observed speed and its simplicity. Until recently, however, no meaningful theoretical bounds were known...
149
click to vote
MM
2005
ACM
16 years 9 days ago
2005
ACM
“diorama table “ is an interactive table installation. People place physical objects on the table and projected elements such as trains, cars, houses, and trees appear and are...