10293 search results - page 165 / 2059 » Describing Semistructured Data |
120
click to vote
ESEC
1999
Springer
15 years 9 months ago
1999
Springer
Traditional interprocedural data-flow analysis is performed on whole programs; however, such whole-program analysis is not feasible for large or incomplete programs. We propose fr...
151
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
146
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
This is to present work on modifying the Aleph ILP system so that it evaluates the hypothesised clauses in parallel by distributing the data-set among the nodes of a parallel or di...
161
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
Many applications involve multiple-modalities such as text and images that describe the problem of interest. In order to leverage the information present in all the modalities, on...
149
click to vote
WWW
2003
ACM
16 years 5 months ago
2003
ACM
The Semantic Web envisions a World Wide Web in which data is described with rich semantics and applications can pose complex queries. To this point, researchers have defined new l...