2475 search results - page 345 / 495 » Question Answering in TREC |
152
click to vote
LICS
2008
IEEE
16 years 27 days ago
2008
IEEE
We study the classes of B¨uchi and Rabin automatic structures. For B¨uchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relation...
190
click to vote
PIMRC
2008
IEEE
16 years 27 days ago
2008
IEEE
—The accurate determination of the link quality is critical for ensuring that functionalities such as intelligent routing, load-balancing, power control and frequency selection o...
179
click to vote
TOOLS
2008
IEEE
16 years 27 days ago
2008
IEEE
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...
164
click to vote
BROADNETS
2007
IEEE
16 years 26 days ago
2007
IEEE
—“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...
163
click to vote
HAPTICS
2007
IEEE
16 years 25 days ago
2007
IEEE
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...