8701 search results - page 1135 / 1741 » XML-Based Feature Modelling |
233
click to vote
IANDC
2007
15 years 7 months ago
2007
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
251
click to vote
IVC
2007
15 years 7 months ago
2007
In urban areas, buildings are often used as landmarks for localization. Reliable and efficient recognition of buildings is crucial for enabling this functionality. Motivated by t...
216
click to vote
TROB
2008
15 years 7 months ago
2008
The interplay between robotics and neuromechanics facilitates discoveries in both fields: nature provides roboticists with design ideas, while robotics research elucidates critical...
233
click to vote
MT
2002
15 years 7 months ago
2002
We present MARS (Multilingual Automatic tRanslation System), a research prototype speech-to-speech translation system. MARS is aimed at two-way conversational spoken language trans...
182
click to vote
SCFBM
2008
15 years 6 months ago
2008
Background: CRANKITE is a suite of programs for simulating backbone conformations of polypeptides and proteins. The core of the suite is an efficient Metropolis Monte Carlo sample...