10908 search results - page 2016 / 2182 » Requirements Engineering Tasks |
160
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Outdoor camera networks are becoming ubiquitous in critical urban areas of large cities around the world. Although current applications of camera networks are mostly li...
182
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
149
click to vote
MICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...
131
click to vote
AIED
2009
Springer
15 years 11 months ago
2009
Springer
Intelligent tutoring systems often rely on interactive tutored problem solving to help students learn math, which requires students to work through problems step-by-step while the ...
256
click to vote
WAIM
2009
Springer
15 years 11 months ago
2009
Springer
StreetTiVo is a project that aims at bringing research results into the living room; in particular, a mix of current results in the areas of Peer-to-Peer XML Database Management Sy...