77016 search results - page 15184 / 15404 » Modelling |
127
click to vote
AIEDU
2005
15 years 3 months ago
2005
To help a student in an introductory physics course do quantitative homework problems, an intelligent tutoring system must determine information of an algebraic nature. This paper...
159
click to vote
IJMSO
2007
15 years 3 months ago
2007
This paper describes work in progress developing a context-aware meeting alert. This application integrates semantic web technology in RDF (for representing calendars), semantic we...
138
click to vote
SP
2008
IEEE
15 years 3 months ago
2008
IEEE
Abstract--Our study analyzes the security and privacy properties of an implantable cardioverter defibrillator (ICD). Introduced to the U.S. market in 2003, this model of ICD includ...
155
click to vote
IJRR
2007
15 years 3 months ago
2007
Recent research concerning the Gaussian canonical form for Simultaneous Localization and Mapping (SLAM) has given rise to a handful of algorithms that attempt to solve the SLAM sc...
136
click to vote
TAP
2008
Springer
15 years 3 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...