2617 search results - page 502 / 524 » Adaptive local ratio |
ASPDAC
2005
ACM
14 years 1 months ago
2005
ACM
With impressive progress in Boolean Satisfiability (SAT) solving and several extensions to pseudo-Boolean (PB) constraints, many applications that use SAT, such as highperformanc...
SENSYS
2005
ACM
14 years 1 months ago
2005
ACM
Archival storage of sensor data is necessary for applications that query, mine, and analyze such data for interesting features and trends. We argue that existing storage systems a...
ECAL
2005
Springer
14 years 1 months ago
2005
Springer
Evolution by natural selection is a process of variation and selection acting on replicating units. These units are often assumed to be individuals, but in a sexual population, the...
SG
2005
Springer
14 years 1 months ago
2005
Springer
Parametric design systems model a design as a constrained collection of schemata. Designers work in such systems at two levels: definition of schemata and constraints; and search w...
TLCA
2005
Springer
14 years 1 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...