Sciweavers

2577 search results - page 356 / 516
» Multimedia Question Answering
Sort
View
138
Voted
TOOLS
2008
IEEE
15 years 11 months ago
Modeling of Component Environment in Presence of Callbacks and Autonomous Activities
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
Pavel Parizek, Frantisek Plasil
133
Voted
BROADNETS
2007
IEEE
15 years 11 months ago
Modeling and analysis of worm interactions (war of the worms)
—“War of the worms” is a war between opposing computer worms, creating complex worm interactions as well as detrimental impact on infrastructure. For example, in September 20...
Sapon Tanachaiwiwat, Ahmed Helmy
HAPTICS
2007
IEEE
15 years 11 months ago
Shaping Event-Based Haptic Transients Via an Improved Understanding of Real Contact Dynamics
Haptic interactions with stiff virtual surfaces feel more realistic when a short-duration transient is added to the spring force at contact. But how should this event-based transi...
Jonathan Fiene, Katherine J. Kuchenbecker
ICDE
2007
IEEE
125views Database» more  ICDE 2007»
15 years 11 months ago
Analyses and Fundamental ideas for a Relation Extraction Approach
Relation extraction is a difficult open research problem with important applications in several fields such as knowledge management, web mining, ontology building, intelligent sys...
Lobna Karoui, Marie-Aude Aufaure, Nacéra Be...
ICNS
2007
IEEE
15 years 11 months ago
A Distributed Service Manager for Seamless Service Continuity
—The IT domain has considerably evolved, users are now surrounded with cheaper and more powerful terminals than ever. Mobile and fixed devices connected to high-speed network tec...
Vincent Verdot, Noël Crespi, Yann Gaste