2013 search results - page 348 / 403 » Happy New Year |
ICCSA
2003
Springer
15 years 5 months ago
2003
Springer
Traumatic brain injuries (TBIs) typically result from accidents in which the head strikes an object. Among all traumatic causes of death, the TBI is the most serious one. Moreover,...
EDBTW
2010
Springer
15 years 5 months ago
2010
Springer
In recent years, Software-as-a-Service (SaaS) is gaining momentum with more and more successful adoptions. Several companies including some well known names have embraced this new...
NPAR
2010
ACM
15 years 4 months ago
2010
ACM
Recent years have witnessed significant advances in 3D brush modeling and simulation in digital paint tools. Compared with traditional 2D brushes, a 3D brush can be both more intu...
211
click to vote
UM
2010
Springer
15 years 4 months ago
2010
Springer
The field of intelligent tutoring systems has been using the well known knowledge tracing model, popularized by Corbett and Anderson (1995) to track individual users’ knowledge f...
101
click to vote
DSN
2002
IEEE
15 years 4 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...