4963 search results - page 282 / 993 » Implementing a Categorical Information System |
166
click to vote
CONTEXT
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in sys...
145
click to vote
MKM
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In previous papers we described the implementation of a system which combines mathematical object generation, transformation and filtering, conjecture generation, provin...
171
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
In today’s grocery the products are getting more homogenous and attributes are getting more complex. Consumers should be supported in their decisions during the shopping process...
179
click to vote
AVSS
2006
IEEE
16 years 23 days ago
2006
IEEE
We present a system for automatic head tracking with a single pan-tilt-zoom (PTZ) camera. In distance education the PTZ tracking system developed can be used to follow a teacher a...
213
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
The SYMBRION project is concerned with the development of super-large swarms of robots that dock with each other and symbiotically share energy and computational resources to form...