334 search results - page 58 / 67 » Can a Model Checker Generate Tests for Non-Deterministic Sys... |
190
click to vote
CVPR
2011
IEEE
14 years 11 months ago
2011
IEEE
This paper presents a complete solution to estimating a scene’s 3D geometry and appearance from multiple 2D images by using a statistical inverse ray tracing method. Instead of ...
138
click to vote
ISBI
2007
IEEE
15 years 10 months ago
2007
IEEE
As we develop radiation treatment planning systems for head and neck cancer patients, there is a need to identify reference patients whose anatomical structures share similar feat...
170
click to vote
JAIR
2007
15 years 3 months ago
2007
One of the biggest challenges in the development and deployment of spoken dialogue systems is the design of the spoken language generation module. This challenge arises from the n...
178
click to vote
ICDM
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we proposed a new approach, called FiVaTech for the problem of Web data extraction. FiVaTech is a page-level data extraction system which deduces the data schema an...
117
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
The future of mobile telephony is expected to rely on mobile services and the use of mobile services will be an integral part of the revenues to be generated by third generation m...