1024 search results - page 93 / 205 » Value complete, column complete, predicate complete |
108
click to vote
VLDB
1989
ACM
15 years 5 months ago
1989
ACM
Graphical Direct Manipulation (GrDM) query languagesare characterized and positioned with respect to traditional textual query languages. After a brief survey of the current state...
ITP
2010
15 years 5 months ago
2010
In this paper, we develop a general theory of fixed point combinators, in higher-order logic equipped with Hilbert’s epsilon operator. This combinator allows for a direct and e...
114
click to vote
CPM
2005
Springer
15 years 3 months ago
2005
Springer
We present efficient sensitivity-analysis algorithms for two problems involving Markov models of sequence evolution: ancestral reconstruction in evolutionary trees and local ungap...
111
click to vote
DATE
2005
IEEE
2005
IEEE
LORD: A Localized, Reactive and Distributed Protocol for Node Scheduling in Wireless Sensor Networks
15 years 3 months ago
The lifetime of wireless sensor networks can be increased by minimizing the number of active nodes that provide complete coverage, while switching off the rest. In this paper, we ...
120
click to vote
CATS
2006
15 years 3 months ago
2006
A complete description and proof of correctness are given for a new polynomial time algorithm for a class of codes based on directed graphs and involving construction well known i...