3073 search results - page 218 / 615 » Real World Verification |
147
click to vote
FAABS
2000
Springer
15 years 9 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
152
click to vote
IIWAS
2008
15 years 7 months ago
2008
Distributed development of software has turned into a natural and modern approach where teams spread over the world cooperate to develop a software product, and this has become po...
173
click to vote
COLING
2002
15 years 5 months ago
2002
There is no blank to mark word boundaries in Chinese text. As a result, identifying words is difficult, because of segmentation ambiguities and occurrences of unknown words. Conve...
155
click to vote
EWC
2000
15 years 5 months ago
2000
We explore the meanings of the terms as "structure," "behavior," and, especially, "function" in engineering practice. Computers provide great help in...
169
click to vote
FMSD
2010
15 years 4 months ago
2010
Abstract Modeling and Simulation Aided Verification of Analog/MixedSignal Circuits S. Little and C. Myers (University of Utah, USA) Monday, July 14, 14:00-17:00 4 14:00-14:40 fSpic...