5482 search results - page 753 / 1097 » Logic Programming and Databases |
148
click to vote
CAV
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
161
click to vote
ITCC
2005
IEEE
16 years 9 days ago
2005
IEEE
Access control software must be based on a security policy model. Flaws in them may come from a lack of precision or some incoherences in the policy model or from inconsistencies ...
146
click to vote
APLAS
2004
ACM
16 years 4 days ago
2004
ACM
In many occasions would one encounter the task of maintaining the consistency of two pieces of structured data that are related by some transform — synchronising bookmarks in diï...
172
click to vote
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
We present new techniques for supervised wrapper generation and automated web information extraction, and a system called Lixto implementing these techniques. Our system can gener...
157
click to vote
KONVENS
2000
15 years 10 months ago
2000
An approach for a program is presented that automatically detects the position of pitch accents and intonation phrase (IP) boundaries from waveforms. The technique maps acoustic c...