1321 search results - page 200 / 265 » Subtyping in Logical Form |
159
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
167
click to vote
STACS
2001
Springer
15 years 10 months ago
2001
Springer
In 1974 R. Fagin proved that properties of structures which are in NP are exactly the same as those expressible by existential second order sentences, that is sentences of the form...
193
click to vote
KDD
1997
ACM
15 years 10 months ago
1997
ACM
Thereis a wealthof informationto be minedfromnarrative text on the WorldWideWeb.Unfortunately, standard natural language processing (NLP)extraction techniques expect full, grammat...
181
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
Reliable detection of human activity is an unsolved problem. The main is that low resolution and the unconstrained nature of realistic environments and human behaviourmakeform cue...
264
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
Many data integration solutions in the market today include tools for schema mapping, to help users visually relate elements of different schemas. Schema elements are connected wit...