9067 search results - page 1537 / 1814 » Adaptive Model Checking |
199
click to vote
EUROPAR
2005
Springer
16 years 22 days ago
2005
Springer
Scientists are increasingly using large distributed systems built from commodity off-the-shelf components to perform scientific computation. Grid computing has expanded the scale ...
215
click to vote
GCC
2005
Springer
16 years 21 days ago
2005
Springer
Spatial Information Grid (SIG) is a project of applying grid technology to share and integrate spatial data resources, information processing resources, equipment resources, and kn...
173
click to vote
GECCO
2005
Springer
16 years 21 days ago
2005
Springer
The fundamental challenge faced by any visual system within natural environments is the ambiguity caused by the fact that light that falls on the system’s sensors conflates mult...
184
click to vote
HUC
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. We present Supple, a novel toolkit which automatically generates interfaces for ubiquitous applications. Designers need only specify declarative models of the interface a...
200
click to vote
ISMIS
2005
Springer
16 years 21 days ago
2005
Springer
In this paper, we adapt a statistical learning approach, inspired by automated topic segmentation techniques in speech-recognized documents to the challenging protein segmentation ...