Sciweavers

1580 search results - page 176 / 316
» Cooperation in Aircraft Design
Sort
View
ICTAI
2005
IEEE
16 years 4 days ago
Applying a Taxonomy of Formation Control in Developing a Robotic System
Designing cooperative multi-robot systems (MRS) requires expert knowledge both in control and artificial intelligence. Formation control is an important research within the resea...
Harry Chia-Hung Hsu, Alan Liu
MM
2005
ACM
104views Multimedia» more  MM 2005»
16 years 3 days ago
Post-bit: embodied video contents on tiny stickies
Post-Bit is a small e-paper device modeled after paper PostIts r 1 . We explored and designed interfaces to handle multimedia contents with paper-like manipulations using this epa...
Takashi Matsumoto, Tony Dunnigan, Maribeth Back
KBSE
2003
IEEE
15 years 11 months ago
Model-based Verification of Web Service Compositions
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
Howard Foster, Sebastián Uchitel, Jeff Mage...
CHIMIT
2007
ACM
15 years 10 months ago
Managing technology use and learning in nonprofit community organizations: methodological challenges and opportunities
We are investigating how to empower nonprofit community organizations to develop the information technology management practices required to carry out their civic goals. We highli...
Cecelia Merkel, Umer Farooq, Lu Xiao, Craig H. Gan...
TCOM
2008
117views more  TCOM 2008»
15 years 6 months ago
Nested turbo codes for the Costa problem
Driven by applications in data-hiding, MIMO broadcast channel coding, precoding for interference cancellation, and transmitter cooperation in wireless networks, Costa coding has la...
Yong Sun, Momin Uppal, Angelos D. Liveris, Samuel ...