1304 search results - page 231 / 261 » Model Checking C Programs Using F-SOFT |
EMNLP
2008
15 years 3 months ago
2008
Previous work on ordering events in text has typically focused on local pairwise decisions, ignoring globally inconsistent labels. However, temporal ordering is the type of domain...
113
click to vote
SAC
2006
ACM
15 years 8 months ago
2006
ACM
In this paper, we describe the design and implementation of a tuple-based distributed memory realized with the use of RFID technology. The key idea – rooted in a more general sc...
125
click to vote
MM
1999
ACM
15 years 6 months ago
1999
ACM
A real-time audio segmentation and indexing scheme is presented in this paper. Audio recordings are segmented and classified into basic audio types such as silence, speech, music,...
102
click to vote
CCGRID
2001
IEEE
15 years 6 months ago
2001
IEEE
Virtual Interface Architecture(VIA) is a light-weight protocol for protected user-level zero-copy communication. In spite of high performance of VIA, the previous MPI implementati...
149
click to vote
HCI
2009
15 years 6 days ago
2009
Real-time, static and dynamic hand gesture learning and recognition makes it possible to have computers recognize hand gestures naturally. This creates endless possibilities in the...