10159 search results - page 1958 / 2032 » System Design Validation Using Formal Models |
NAACL
2003
13 years 9 months ago
2003
The TAP-XL Automated Analyst’s Assistant is an application designed to help an Englishspeaking analyst write a topical report, culling information from a large inflow of multili...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
We consider a heterogeneous swarm consisting of aerial and wheeled robots. We present a system that enables spatially targeted communication. Our system enables aerial robots to e...
VEE
2012
ACM
12 years 3 months ago
2012
ACM
As cloud-based computation becomes increasingly important, providing a general computational interface to support datacenterscale programming has become an imperative research age...
CHI
2001
ACM
14 years 8 months ago
2001
ACM
Chinese input presents unique challenges to the field of human computer interaction. This study provides an anatomical analysis of today's standard Chinese input process, whi...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
— Autonomous underwater vehicles (AUVs) are an indispensable tool for marine scientists to study the world’s oceans. The Slocum glider is a buoyancy driven AUV designed for mis...