5122 search results - page 359 / 1025 » Comparing Consequence Relations |
134
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Although braided pneumatic actuators are capable of producing phenomenal forces compared to their weight, they have yet to see mainstream use due to their relatively short fatigue...
209
Voted
SSIAI
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents an algorithm for matching line segments in two images which are related by an affine transformation. Images are represented as patterns of line segments. Areas...
148
click to vote
PROFES
2001
Springer
15 years 11 months ago
2001
Springer
Many small and medium-sized companies that develop software experience the same problems repeatedly, and have few systems in place to learn from their own mistakes as well as their...
195
click to vote
DSVIS
2000
Springer
15 years 11 months ago
2000
Springer
Model-Based User Interface Development Environments (MB-UIDEs) provide a context within which user interface declarative models can be constructed and related, as part of the user...
170
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...