Sciweavers

1569 search results - page 285 / 314
» Using Organic Computing to Control Bunching Effects
Sort
View
DAC
2006
ACM
16 years 4 months ago
Predicate learning and selective theory deduction for a difference logic solver
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
Chao Wang, Aarti Gupta, Malay K. Ganai
MOBISYS
2003
ACM
16 years 2 months ago
iFlow: Middleware-assisted Rendezvous-based Information Access for Mobile Ad Hoc Applications
Due to node mobility and limitations on bandwidth availability in wireless channels, there exist unique challenges towards achieving efficient and effective information access in ...
Zongpeng Li, Baochun Li, Dongyan Xu, Xin Zhou
HAPTICS
2007
IEEE
15 years 9 months ago
Multi-Fingered Haptic Interface Robot Handling Plural Tool Devices
Tool-type haptic interfaces such as scissors are used to present force feeling for surgical training in virtual reality environment. Presentation of force feelings of plural tools...
Haruhisa Kawasaki, Tetsuya Mouri, Sho Ikenohata, Y...
UCS
2004
Springer
15 years 8 months ago
A Unified Application Service Model for ubiHome by Exploiting Intelligent Context-Awareness
Abstract. We propose a unified ubiHome application service model which provides user-centered services by exploiting intelligent context-awareness. Recently, most of research relat...
Yoosoo Oh, Woontack Woo
ECBS
1999
IEEE
129views Hardware» more  ECBS 1999»
15 years 7 months ago
Situation Assessment and Decision Making Integrated into the Process Centered Environment
Researchers have defined a number of process modeling methods and have developed in-roads to process-centered environments that support process modeling and project control. Howev...
Stephanie White, Susan Fife Dorchak, John T. Keane...