16666 search results - page 2855 / 3334 » Descriptive and Computational Complexity |
206
click to vote
MOZ
2004
Springer
16 years 9 days ago
2004
Springer
The analysis of biochemical networks consists in studying the interactions between biological entities cooperating in complex cellular processes. To facilitate the expression of an...
200
click to vote
NMR
2004
Springer
16 years 9 days ago
2004
Springer
We define the class of head-cycle free nested logic programs, and its proper subclass of acyclic nested programs, generalising similar classes originally defined for disjunctive...
186
click to vote
NMR
2004
Springer
16 years 9 days ago
2004
Springer
In this paper, we introduce a new method to recover from discrepancies in a general monitoring framework where the agent finds some explanations (points of failure) for discrepan...
199
click to vote
PCM
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Vector quantization (VQ) is an elementary technique for image compression. However, the complexity of searching the nearest codeword in a codebook is time-consuming. In t...
209
click to vote
SEMWEB
2004
Springer
16 years 8 days ago
2004
Springer
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...