3018 search results - page 461 / 604 » Linguistic Knowledge Generator |
195
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
166
click to vote
SSDBM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. Relational database systems are becoming increasingly popular in the scientific community to support the interactive exploration of large volumes of data. In this scenar...
162
click to vote
ICEIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Today XML is an essential technology for knowledge management within enterprises and dissemination of data over the Web. Therefore the efficient evaluation of XML queries has been ...
178
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—We study the problem of in-network processing and queries of trajectories of moving targets in a sensor network. The main idea is to exploit the spatial coherence of target traj...
209
click to vote
ISMAR
2009
IEEE
16 years 1 months ago
2009
IEEE
Ultrasound (US) is a medical imaging modality which is extremely difficult to learn as it is user-dependent, has low image quality and many artifacts that depend on the viewing d...