5550 search results - page 776 / 1110 » Different Approaches to Proof Systems |
179
click to vote
MOBISYS
2005
ACM
16 years 6 months ago
2005
ACM
Inverse multiplexing, or network striping, allows the construction of a high-bandwidth virtual channel from a collection of multiple low-bandwidth network channels. Striping syste...
177
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Within the field of software repository mining, it is common practice to extract change-events from source control systems and then abstract these events to allow for different a...
180
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We introduce a direct model for speech recognition that assumes an unstructured, i.e., flat text output. The flat model allows us to model arbitrary attributes and dependences o...
296
click to vote
ISCC
2009
IEEE
16 years 1 months ago
2009
IEEE
Chord is a protocol to distribute and retrieve information at large scale. It builds a large but rigid overlay network without taking into account the social nature and the underl...
181
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper, we investigate the problem of 3D object categorization of objects typically present in kitchen environments, from data acquired using a composite sensor. Our fra...