3630 search results - page 241 / 726 » How to Compare Treebanks |
159
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— This paper explores how to leverage IEEE802.11based cooperative peer-to-peer repair (CPR) to enhance the reliability of wireless multimedia broadcasting. We first form...
206
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a framework to design real-time event-based applications using Java. The Real-Time Specification for Java (RTSJ) is well designed for hard periodic real-time ...
195
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
1 Profile Hidden Markov Models (profile HMMs) are used as a popular bioinformatics tool for sensitive database searching, e.g. a set of not annotated protein sequences is compared...
171
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Smoothing and optimization approaches are an effective means for solving the simultaneous localization and mapping (SLAM) problem. Most of the existing techniques focus mainly ...
169
click to vote
ISVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...