43264 search results - page 8283 / 8653 » Comparing models of computation |
156
click to vote
DKE
2010
15 years 3 months ago
2010
We describe the Consistency Extractor System (ConsEx) that computes consistent answers to Datalog queries with negation posed to relational databases that may be inconsistent with...
119
click to vote
DAM
2008
15 years 3 months ago
2008
The intramolecular model for gene assembly in ciliates considers three operations, ld, hi, and dlad that can assemble any gene pattern through folding and recombination: the molec...
114
Voted
AIL
2006
15 years 3 months ago
2006
Legal information certification and secured storage combined with documents electronic signature are of great interest when digital documents security and conservation are in conce...
111
Voted
EOR
2008
15 years 3 months ago
2008
We consider an extension of the optimal searcher path problem (OSP), where a searcher moving through a discretised environment may now need to spend a nonuniform amount of time tr...
125
click to vote
AUTOMATICA
2006
15 years 3 months ago
2006
While risk-sensitive (RS) approaches for designing plans of total productive maintenance are critical in manufacturing systems, there is little in the literature by way of theoret...