7918 search results - page 470 / 1584 » Model Composition Directives |
169
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
186
click to vote
CCECE
2006
IEEE
16 years 29 days ago
2006
IEEE
This paper presents a unique spectral modelling approach suitable for digital camera image processing. The proposed vector model combines both the magnitude and directional charac...
154
click to vote
WAC
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. There is an increasing consensus that existing mobility models, such as the well-known random walk or random waypoint models, are insufficient to represent real node mobi...
187
click to vote
AH
2004
Springer
15 years 10 months ago
2004
Springer
A learner model must store all the relevant information about a student, including knowledge and attitude. This paper proposes a domain independent learner model based in the class...
178
click to vote
AAAI
2006
15 years 8 months ago
2006
Cognitive modeling techniques provide a way of evaluating user interface designs, based on what is known about human cognitive strengths and limitations. Cognitive modelers face a...