6306 search results - page 338 / 1262 » Space, Time, and the Use of Language |
233
click to vote
DSD
2010
IEEE
15 years 7 months ago
2010
IEEE
— Real-time face recognition by computer systems is required in many commercial and security applications because it is the only way to protect privacy and security in the sea of...
192
click to vote
ICFP
2007
ACM
16 years 7 months ago
2007
ACM
The forthcoming Revised6 Report on Scheme differs from previous reports in that the language it describes is structured as a set of libraries. It also provides a syntax for defini...
228
click to vote
SIGCSE
2005
ACM
16 years 1 months ago
2005
ACM
Networking course projects are usually described by an informal specification and a collection of test cases. Students often misunderstand the specification or oversimplify it t...
189
click to vote
ICSE
2000
IEEE-ACM
15 years 11 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
207
click to vote
LREC
2010
15 years 9 months ago
2010
In this paper, we report on a study that was performed within the "Semantics of History" project on how descriptions of historical events are realized in different types...