12981 search results - page 2092 / 2597 » Model Checking (Abstract) |
196
click to vote
CONSTRAINTS
2006
15 years 7 months ago
2006
Abstract. Constraint Programming (CP) offers a rich modeling language of constraints embedding efficient algorithms to handle complex and heterogeneous combinatorial problems. To s...
183
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract-- Internet worms, which spread in computer networks without human mediation, pose a severe threat to computer systems today. The rate of propagation of worms has been meas...
215
click to vote
IJCV
2008
15 years 7 months ago
2008
Histograms of local appearance descriptors are a popular representation for visual recognition. They are highly discriminant with good resistance to local occlusions and to geomet...
196
click to vote
IJCV
2008
15 years 7 months ago
2008
Abstract We describe a method of representing human activities that allows a collection of motions to be queried without examples, using a simple and effective query language. Our ...
225
click to vote
IJSI
2008
15 years 7 months ago
2008
Abstract Commercial organizations increasingly need software processes sensitive to business value, quick to apply, supportive of multi-stakeholder collaboration, and capable of ea...