4099 search results - page 444 / 820 » First Class Patterns |
173
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
This position paper describes ongoing work in which the Java-based SEESCOA component system is extended with functionality for run-time evolution. First, an assessment is made of ...
166
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— We consider a distributed multi-agent network system where the goal is to minimize an objective function that can be written as the sum of component functions, each of ...
185
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
136
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
This paper deals with local 3D descriptors for surface matching. First, we categorize existing methods into two classes: Signatures and Histograms. Then, by discussion and experime...
173
click to vote
COOPIS
1999
IEEE
15 years 11 months ago
1999
IEEE
There is currently great interest in building information mediators that can integrate informationfrom multipledata sources such as databases or Web sources. The query response ti...