3718 search results - page 125 / 744 » IMPS: System Description |
143
click to vote
ET
1998
15 years 5 months ago
1998
Defining information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the cont...
155
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
A format-driven word recognition system is proposed for recognition of handwritten words. Unlike most traditional handwritten word recognizers being given a set of target words as...
166
click to vote
FM
1997
Springer
15 years 10 months ago
1997
Springer
Abstract Set boolean operations between 2-dlmensional geometric objects are crucial in computational geometry and deserve rigorous treatments. We build up a simple and convergent s...
166
click to vote
ESAW
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. This paper presents a multi agent-oriented prototyping approach. It is a generic approach, applicable to a wide range of multi-agent systems. This approach relies on a fe...
168
click to vote
FMCAD
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...