4126 search results - page 330 / 826 » Set based logic programming |
249
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
135
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
A data tree is a tree where each node has a label from a finite set, and a data value from a possibly infinite set. We consider data trees whose depth is bounded beforehand. By d...
135
click to vote
CATS
2006
15 years 6 months ago
2006
The implication of multivalued dependencies (MVDs) in relational databases has originally been defined in the context of some fixed finite universe (Fagin 1977, Zaniolo 1976). Whi...
184
click to vote
IEEEPACT
2005
IEEE
15 years 10 months ago
2005
IEEE
Feedback-directed Optimization has become an increasingly important tool in designing and building optimizing compilers as itprovides a means to analyze complexprogram behavior th...
136
click to vote
ANLP
1992
15 years 6 months ago
1992
This paper briefly describes the current implementation status of an intelligent information retrieval system, MARIE, that employs natural language processing techniques. Descript...