15073 search results - page 2885 / 3015 » Probabilistic algorithms for computing resultants |
126
Voted
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
135
Voted
EVOW
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Computational analysis of mass spectrometric (MS) proteomic data from sera is of potential relevance for diagnosis, prognosis, choice of therapy, and study of disease act...
123
click to vote
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
Embedded systems are often used in a safety-critical context, e.g. in airborne or vehicle systems. Typically, timing constraints must be satisfied so that real-time embedded syste...
100
click to vote
PATMOS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. The emergence of data-intensive applications in mobile environments has resulted in portable electronic systems with increasingly large dynamic memories. The typical oper...
VLDB
1987
ACM
15 years 5 months ago
1987
ACM
Beginning to create the New Oxford English Dictionary database has resulted in the realization that databases for reference texts are unlike those for conventional enterprises. Wh...