1027 search results - page 105 / 206 » Progress on the Progressive Party Problem |
SEFM
2003
IEEE
15 years 3 months ago
2003
IEEE
Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive...
PODS
2010
ACM
15 years 3 months ago
2010
ACM
Cardinality estimation is the problem of estimating the number of tuples returned by a query; it is a fundamentally important task in data management, used in query optimization, ...
IPPS
2002
IEEE
15 years 2 months ago
2002
IEEE
Despite continued innovations in design of I/O systems, I/O performance has not kept pace with the progress in processor and communication technology. This paper addresses this I/...
164
click to vote
NEUROSCIENCE
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Finite-state machines are the most pervasive models of computation, not only in theoretical computer science, but also in all of its applications to real-life problems, a...
ECAI
2000
Springer
15 years 2 months ago
2000
Springer
Domain-specific control information is often essential in solving difficult planning problems efficiently. Temporal logics are a declarative and expressive representation for su...