14642 search results - page 2472 / 2929 » It's Time for a Change |
212
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
175
click to vote
FGR
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper introduces the Multimodal Multi-view Integrated Database (MMID), which holds human activities in presentation situations. MMID contains audio, video, human body motions...
197
click to vote
ICCCN
1998
IEEE
15 years 11 months ago
1998
IEEE
TCP is a popular transport protocol used in present-day internet. When packet losses occur, TCP assumes that the packet losses are due to congestion, and responds by reducing its ...
187
click to vote
KI
1999
Springer
15 years 11 months ago
1999
Springer
Among the formalisms for qualitative spatial reasoning, the Region Connection Calculus and its variant, the constraint algebra RCC8, have received particular attention recently. A...
157
click to vote
MICCAI
1999
Springer
15 years 11 months ago
1999
Springer
This paper is part of the development process of a microsurgical "cooperating" assistant. To evaluate its applicability to augment fine surgical motions, we test precisio...