9626 search results - page 1320 / 1926 » Invariant Based Programming |
250
click to vote
ICALP
2011
Springer
14 years 10 months ago
2011
Springer
We study the problem of navigating through a database of similar objects using comparisons. This problem is known to be strongly related to the small-world network design problem....
205
click to vote
JOTA
2011
14 years 10 months ago
2011
Given an algorithm A for solving some mathematical problem based on the iterative solution of simpler subproblems, an Outer Trust-Region (OTR) modification of A is the result of ...
266
click to vote
PROCEDIA
2011
14 years 10 months ago
2011
A new challenge in scientific computing is to merge existing simulation models to create new higher fidelity combined (often multi-level) models. While this challenge has been a...
194
click to vote
CIKM
2011
Springer
14 years 7 months ago
2011
Springer
Previous information extraction (IE) systems are typically organized as a pipeline architecture of separated stages which make independent local decisions. When the data grows bey...
213
click to vote
DAC
2011
ACM
14 years 7 months ago
2011
ACM
Modern processor architectures call for software that is highly tuned to an unpredictable operating environment. Processlevel virtualization systems allow existing software to ada...