10715 search results - page 1784 / 2143 » From Tests to Proofs |
193
click to vote
IS
2006
15 years 6 months ago
2006
The processing and management of XML data are popular research issues. However, operations based on the structure of XML data have not received strong attention. These operations ...
177
click to vote
JFP
2008
15 years 6 months ago
2008
This paper presents an operational semantics for the core of Scheme. Our specification improves over the denotational semantics from the Revised5 Report on Scheme specification in...
201
click to vote
ISM
2006
IEEE
15 years 6 months ago
2006
IEEE
We describe an automatic classroom capture system that detects and records significant (stable) points in lectures by sampling and analyzing a sequence of screen capture frames fr...
196
click to vote
ISR
2006
15 years 6 months ago
2006
Prior research suggests that supply chain collaboration has enabled companies to compete more efficiently in a global economy. We investigate a class of collaboration software for...
179
click to vote
ITSSA
2006
15 years 6 months ago
2006
Abstract. A growing amounts of information are currently being generated and stored in the World Wide Web (WWW), in particular, researchers in any field can find a lot of publicati...