8196 search results - page 186 / 1640 » Computational Modeling and Complexity Science |
170
click to vote
SPIN
1999
Springer
15 years 10 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...
318
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...
178
click to vote
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...
169
click to vote
ECBS
1999
IEEE
15 years 10 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...
162
click to vote
ICALT
2006
IEEE
16 years 15 days 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...