8196 search results - page 186 / 1640 » Computational Modeling and Complexity Science |
188
Voted
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
In a recent study a series of model checkers, among which Spin [5], SMV [9], and a newer system called XMC [10], were compared on performance. The measurements used for this compar...
335
click to vote
Book
The book covers the fundamental computer vision techniques such as template matching histogram transformations, background subtraction, filtering and reflectance models, edge detec...
191
Voted
WG
2009
Springer
16 years 1 months ago
2009
Springer
Tolerance graphs model interval relations in such a way that intervals can tolerate a certain degree of overlap without being in conflict. This class of graphs, which generalizes...
176
Voted
ECBS
1999
IEEE
15 years 11 months ago
1999
IEEE
Model-Integrated Computing, specifically Model-Integrated Program Synthesis (MIPS) environments that include visual model building, constraint management, and automatic program sy...
178
Voted
ICALT
2006
IEEE
16 years 1 months ago
2006
IEEE
Computer Supported Collaborative Learning activities involve combination of complex software tools that often need to interoperate in a wider context of learning. This paper propo...