4480 search results - page 814 / 896 » Prototyping Completion with Constraints Using Computational ... |
178
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
Remote sensing applications often concern very large volumes of spatio-temporal data, the emerging Grid computing technologies bring an effective solution to this problem. The Open...
210
click to vote
ICFEM
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
187
click to vote
SIGMETRICS
2012
ACM
13 years 8 months ago
2012
ACM
The demand for data center computing increased significantly in recent years resulting in huge energy consumption. Data centers typically comprise three main subsystems: IT equip...
167
click to vote
ISRR
2005
Springer
15 years 11 months ago
2005
Springer
ys when planning meant searching for a sequence of abstract actions that satisfied some symbolic predicate. Robots can now learn their own representations through statistical infe...
197
click to vote
CCCG
1998
15 years 7 months ago
1998
Molecular surface computations are often necessary in order to perform synthetic drug design. A critical step in this process is the computation and update of an exact boundary re...