Sciweavers

557 search results - page 56 / 112
» From User Requirements to Tasks Descriptions in Real-Time Sy...
Sort
View
IADIS
2004
15 years 7 months ago
Web Document Classification: Managing Context Change
This paper focuses on the information management systems of the dynamic World Wide Web. Many individual web pages, such as news portals, provide periodic information and public an...
Sung Sik Park, Yang Sok Kim, Byeong Ho Kang
POPL
2010
ACM
16 years 3 months ago
From Program Verification to Program Synthesis
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Fost...
IJRR
2007
117views more  IJRR 2007»
15 years 6 months ago
Wave Haptics: Building Stiff Controllers from the Natural Motor Dynamics
— Haptics, like the fields of robotics and motion control, relies on high stiffness position control of electric motors. Traditionally DC motors are driven by current amplifier...
Nicola Diolaiti, Günter Niemeyer, Neal A. Tan...
MM
1997
ACM
97views Multimedia» more  MM 1997»
15 years 10 months ago
A Failure and Overload Tolerance Mechanism for Continuous Media Servers
–Large scale clustered continuous media (CM) servers deployed in applications like video-on-demand have high availability requirements. In the event of server failure, streams fr...
Rajesh Krishnan, Dinesh Venkatesh, Thomas D. C. Li...
ICMCS
2000
IEEE
111views Multimedia» more  ICMCS 2000»
15 years 10 months ago
First Measurements of a Large-Aperture Microphone Array System for Remote Audio Acquisition
Poor sound pick up by remote microphones in multimedia applications, conference rooms and auditoria has traditionally hampered recording and communicating among spatially-separate...
Harvey F. Silverman, William R. Patterson III, Jos...