3335 search results - page 439 / 667 » A Unified Approach to Modeling and Programming |
192
click to vote
UM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Since problem solving in group problem-based learning is a collaborative process, modeling individuals and the group is necessary if we wish to develop an intelligent tut...
162
click to vote
KDD
2000
ACM
15 years 10 months ago
2000
ACM
Predictive models in direct marketing seek to identify individuals most likely to respond to promotional solicitations or other intervention programs. While standard modeling appr...
198
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
179
click to vote
FSKD
2007
Springer
16 years 19 days ago
2007
Springer
segmentation of moving regions in outdoor environment under a moving camera is a fundamental step in many vision systems including automated visual surveillance, human-machine int...
183
click to vote
PPDP
2007
Springer
16 years 18 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...