1040 search results - page 113 / 208 » Tools for modeling and solving search problems |
93
Voted
CONTEXT
2007
Springer
15 years 6 months ago
2007
Springer
Among the main issues of future technology-enhanced learning systems, we can mention the following ones: the ability to reuse learning resources (learning objects, tools and servic...
125
Voted
SIGOPS
2008
15 years 18 days ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
122
click to vote
SCESM
2006
ACM
15 years 6 months ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...
109
click to vote
UAI
2004
15 years 2 months ago
2004
Based on a recent development in the area of error control coding, we introduce the notion of convolutional factor graphs (CFGs) as a new class of probabilistic graphical models. ...
111
Voted
ICIAP
2005
ACM
16 years 24 days ago
2005
ACM
In this paper we describe a method for the reconstruction and visualization of functional models of monkey brains. Models are built through the registration of high resolution imag...