3868 search results - page 175 / 774 » Open Systems in TLA |
193
Voted
ICDAR
2005
IEEE
16 years 20 days ago
2005
IEEE
Recognition of handwritten manuscripts is essential for efficient content exploitation of the valuable Old Greek historical collections. In this paper, we focus on the problem of ...
209
click to vote
SPIN
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
171
click to vote
AAMAS
2007
Springer
15 years 7 months ago
2007
Springer
Sophisticated agents operating in open environments must make decisions that efficiently trade off the use of their limited resources between dynamic deliberative actions and dom...
166
click to vote
RTA
2007
Springer
16 years 1 months ago
2007
Springer
The use of automata techniques to prove the termination of string rewrite systems and left-linear term rewrite systems is advocated by Geser et al. in a recent sequence of papers. ...
174
click to vote
CAMP
2005
IEEE
16 years 20 days ago
2005
IEEE
Abstract— In this article we propose an architecture of a tracking system that can judge its own performance by an auto-critical function. Performance drops can be detected which...