11345 search results - page 2210 / 2269 » Foundations of Computer Science |
LICS
2008
IEEE
15 years 5 months ago
2008
IEEE
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...
111
click to vote
WMCSA
2008
IEEE
15 years 5 months ago
2008
IEEE
Remote patient monitoring generates much more data than healthcare professionals are able to manually interpret. Automated detection of events of interest is therefore critical so...
118
click to vote
AIMSA
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The paper addresses an important challenge for the automatic processing of English written text: understanding noun compounds’ semantics. Following Downing (1977) [1], ...
ISCA
2007
IEEE
15 years 5 months ago
2007
IEEE
The ability to perform long, accurate molecular dynamics (MD) simulations involving proteins and other biological macromolecules could in principle provide answers to some of the ...
LICS
2007
IEEE
15 years 5 months ago
2007
IEEE
We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a succ...