8689 search results - page 361 / 1738 » Software: hard data |
176
click to vote
COMPSAC
2003
IEEE
16 years 2 days ago
2003
IEEE
Extracting data from Web pages using wrappers is a fundamental problem arising in a large variety of applications of vast practical interest. In this paper, we propose a novel sch...
176
click to vote
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
196
click to vote
EUROMICRO
2007
IEEE
15 years 8 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
205
click to vote
COMPSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
Vast quantities of data is created by utilizing sensors to gather information from patients located in intensive care units worldwide through physiological monitoring. The service ...
173
click to vote
TASE
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper studies the reconstruction of unknown curved surfaces through finger tracking. A patch can be generated from tactile data points along three concurrent surface curves un...