742 search results - page 42 / 149 » Considerations in Automated Marking |
IJRR
2008
13 years 7 months ago
2008
Automatically building maps from sensor data is a necessary and fundamental skill for mobile robots; as a result, considerable research attention has focused on the technical chall...
CADE
2004
Springer
14 years 1 months ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated (innermost) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequalit...
CBSE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper discusses various classifications of component interoperability errors.These classifications aim at supporting the automation of component adaptation. The us...
GIS
2006
ACM
14 years 8 months ago
2006
ACM
In this paper we describe work on the automatic recognition of island structures. In an initial phase several test persons were asked to mark groups of islands that they perceived...
TIME
2002
IEEE
14 years 18 days ago
2002
IEEE
In this paper, we propose a logical approach to represent and reason about different time granularities. We identify a time granularity as a discrete infinite sequence of time po...