15073 search results - page 2819 / 3015 » Probabilistic algorithms for computing resultants |
118
click to vote
SPIN
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
110
click to vote
PERVASIVE
2010
Springer
15 years 8 months ago
2010
Springer
Activity and context recognition in pervasive and wearable computing ought to continuously adapt to changes typical of open-ended scenarios, such as changing users, sensor characte...
112
Voted
BROADNETS
2007
IEEE
15 years 8 months ago
2007
IEEE
—With significant improvements in both wireless technologies and computational capabilities of mobile devices, it is now possible to exchange and render 3D graphics over wireless...
140
click to vote
ICCV
2007
IEEE
15 years 8 months ago
2007
IEEE
Multi-chamber heart segmentation is a prerequisite for global quantification of the cardiac function. The complexity of cardiac anatomy, poor contrast, noise or motion artifacts ...
133
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we study the problem of an optimal assignment of a tree-structured context reasoning procedure onto the computation resources in a hostsatellites configuration. The...