16616 search results - page 339 / 3324 » Extending Extended Vacuity |
197
click to vote
SSD
2001
Springer
15 years 11 months ago
2001
Springer
The design of external index structures for one- and multidimensional extended objects is a long and well studied subject in basic database research. Today, more and more commercia...
167
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
157
click to vote
ISPD
1999
ACM
15 years 11 months ago
1999
ACM
—Maze routing algorithms are widely used for finding an optimal path in detailed routing for very large scale integration, printed circuit board and multichip modules In this pap...
137
click to vote
CAV
1990
Springer
15 years 10 months ago
1990
Springer
Ternary system modeling involves extending the traditional set of binary values
158
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
We formally specify the recent DRM scheme of Nair et al. in the