2878 search results - page 487 / 576 » Learning the Common Structure of Data |
152
click to vote
CONCUR
2007
Springer
16 years 13 days ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
163
click to vote
CP
2007
Springer
16 years 13 days ago
2007
Springer
It has recently been shown, for the Constraint Satisfaction Problem (CSP), that the state associated with a node of the search tree built by a backtracking algorithm can be exploit...
145
click to vote
IV
2006
IEEE
16 years 8 days ago
2006
IEEE
Analysis of the spacial structure of proteins including folding processes is a challenge for modern bioinformatics. Due to limited experimental access to folding processes, comput...
182
click to vote
ADC
2006
Springer
16 years 7 days ago
2006
Springer
Web information extraction is a fundamental issue for web information management and integrations. A common approach is to use wrappers to extract data from web pages or documents...
166
click to vote
EEE
2005
IEEE
15 years 12 months ago
2005
IEEE
For the composition of Web services non-functional characteristics are commonly considered criteria for finding and selecting available services. Our work focuses on a mechanism ...