Sciweavers

1027 search results - page 105 / 206
» Progress on the Progressive Party Problem
Sort
View
150
Voted
SEFM
2003
IEEE
15 years 10 months ago
From Requirements to Design: Formalizing the Key Steps
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...
R. Geoff Dromey
234
Voted
PODS
2010
ACM
207views Database» more  PODS 2010»
15 years 10 months ago
Understanding cardinality estimation using entropy maximization
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, ...
Christopher Ré, Dan Suciu
IPPS
2002
IEEE
15 years 10 months ago
Compiler-Directed I/O Optimization
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/...
Mahmut T. Kandemir, Alok N. Choudhary
NEUROSCIENCE
2001
Springer
15 years 9 months ago
Finite-State Computation in Analog Neural Networks: Steps towards Biologically Plausible Models?
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...
Mikel L. Forcada, Rafael C. Carrasco
ECAI
2000
Springer
15 years 9 months ago
Incorporation of Temporal Logic Control into Plan Operators
Domain-specific control information is often essential in solving difficult planning problems efficiently. Temporal logics are a declarative and expressive representation for su...
Jussi Rintanen