6274 search results - page 903 / 1255 » Proofs, Programs, Processes |
137
click to vote
SOCASE
2007
Springer
15 years 9 months ago
2007
Springer
The need to add semantic information to web-accessible services has created a growing research activity in this area. Standard initiatives such as OWL-S and WSDL enable the automat...
130
Voted
3DPVT
2006
IEEE
15 years 9 months ago
2006
IEEE
In this work we propose a scanline optimization procedure for computational stereo using a linear smoothness cost model performed by programmable graphics hardware. The main idea ...
125
Voted
BSN
2006
IEEE
15 years 9 months ago
2006
IEEE
Eco is a self-contained, ultra-wearable and expandable wireless sensor platform under 1cm3. Previous platforms make trade-offs between size or expandability. Eco achieves both wit...
107
Voted
CCGRID
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a transparent, system-level checkpointing solution for master-worker parallelism that automatically adapts, upon restart, to the number of processor nodes available. Th...
147
click to vote
ECBS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...