2314 search results - page 333 / 463 » What is a Model |
109
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
Measuring the efficacy of ITS can be hard because there are many confounding factors: short, well-isolated studies suffer from insufficient interaction with the system, while longe...
121
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
249
click to vote
ICDE
2009
IEEE
16 years 6 months ago
2009
IEEE
Search queries on biomedical databases like PubMed often return a large number of results, only a small subset of which is relevant to the user. Ranking and categorization, which c...
126
Voted
SIGCSE
2009
ACM
16 years 5 months ago
2009
ACM
Can engaging students in free and open source software (FOSS) pique their interest in computer science? This paper describes an introductory computer science course that introduce...
153
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— In a mobile ad hoc network, node cooperation in packet forwarding is required for the network to function properly. However, since nodes in this network usually have limited re...