9067 search results - page 1718 / 1814 » Adaptive Model Checking |
290
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
We present a region-based active contour detection algorithm
for objects that exhibit relatively homogeneous photometric
characteristics (e.g. smooth color or gray levels),
embe...
138
click to vote
MSWIM
2009
ACM
16 years 1 months ago
2009
ACM
We evaluate an asynchronous gossiping middleware for wireless users that propagates messages from any group member to all the other group members. This propagation can either be i...
149
click to vote
TACAS
2009
Springer
16 years 29 days ago
2009
Springer
TAPAS is a suite of libraries dedicated to FO (R, Z, +, ≤). The suite provides (1) the application programming interface GENEPI for this logic with encapsulations of many classic...
200
click to vote
SASP
2009
IEEE
16 years 28 days ago
2009
IEEE
— As growing power dissipation and thermal effects disrupted the rising clock frequency trend and threatened to annul Moore’s law, the computing industry has switched its route...
125
click to vote
ICSOC
2009
Springer
16 years 22 days ago
2009
Springer
In this demonstration1 we present an approach to engineering service brokering requirements and capabilities using the concepts of Service Modes. The demonstration illustrates buil...