1527 search results - page 145 / 306 » From Requirements to Design: Formalizing the Key Steps |
178
click to vote
CHI
2000
ACM
15 years 11 months ago
2000
ACM
We can reliably build “second generation” intelligent computer tutors that are approximately half as effective as human tutors. This paper evaluates two interface enhancements...
173
click to vote
BNCOD
2008
15 years 8 months ago
2008
Abstract. We introduce a query language over sensors, streams and relations and formally describe its semantics. Although the language was specifically designed for sensor network ...
156
click to vote
CAD
2004
Springer
15 years 6 months ago
2004
Springer
Boundary representation models reconstructed from 3D range data suffer from various inaccuracies caused by noise in the data and by numerical errors in the model building software...
168
click to vote
HOST
2008
IEEE
16 years 1 months ago
2008
IEEE
—Straightforward implementations of cryptographic algorithms are known to be vulnerable to attacks aimed not at the mathematical structure of the cipher but rather at the weak po...
134
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper explores the issues and the techniques of enabling multimedia applications for the thin client computing. A prototype of a video communication system based on H.323 fam...