2935 search results - page 239 / 587 » An Integrated Approach to High Integrity Software Verificati... |
151
click to vote
IAAI
2003
15 years 8 months ago
2003
Grid computing provides key infrastructure for distributed problem solving in dynamic virtual organizations. It has been adopted by many scientific projects, and industrial intere...
137
click to vote
COLING
2010
15 years 1 months ago
2010
This paper proposes a novel semisupervised word alignment technique called EMDC that integrates discriminative and generative methods. A discriminative aligner is used to find hig...
185
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it's support for building interactive systems is still acknowledged ...
165
click to vote
CASES
2001
ACM
15 years 10 months ago
2001
ACM
Increased systems level integration has meant the movement of many traditionally off chip components onto a single chip including a processor, instruction storage, data path, and ...
210
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper proposes a hybrid approach to the problem of collision avoidance for indoor mobile robots. The DWA (short for: model-based dynamic window approach) integrates sensor dat...