Sciweavers

10159 search results - page 1781 / 2032
» System Design Validation Using Formal Models
Sort
View
INFOCOM
2006
IEEE
16 years 20 days ago
Achieving Long-Term Surveillance in VigilNet
Abstract— Energy efficiency is a fundamental issue for outdoor sensor network systems. This paper presents the design and implementation of multi-dimensional power management st...
Tian He, Pascal Vicaire, Ting Yan, Qing Cao, Gang ...
ISORC
2006
IEEE
16 years 20 days ago
Automatic Memory Management in Utility Accrual Scheduling Environments
Convenience, reliability, and effectiveness of automatic memory management have long been established in modern systems and programming languages such as Java. The timeliness req...
Shahrooz Feizabadi, Godmar Back
ICRA
2005
IEEE
112views Robotics» more  ICRA 2005»
16 years 7 days ago
Manipulation Planning for Knotting/Unknotting and Tightly Tying of Deformable Linear Objects
— A planning method for knotting/unknotting and tightening manipulation of deformable linear objects is proposed. It is important for linear object manipulation in industrial/med...
Hidefumi Wakamatsu, Akira Tsumaya, Eiji Arai, Shin...
ICMI
2003
Springer
164views Biometrics» more  ICMI 2003»
15 years 12 months ago
A visually grounded natural language interface for reference to spatial scenes
Many user interfaces, from graphic design programs to navigation aids in cars, share a virtual space with the user. Such applications are often ideal candidates for speech interfa...
Peter Gorniak, Deb Roy
EH
2004
IEEE
117views Hardware» more  EH 2004»
15 years 10 months ago
Multi-objective Optimization of a Parameterized VLIW Architecture
The use of Application Specific Instruction-set Processors (ASIP) in embedded systems is a solution to the problem of increasing complexity in the functions these systems have to ...
Giuseppe Ascia, Vincenzo Catania, Maurizio Palesi,...
« Prev « First page 1781 / 2032 Last » Next »