Sciweavers

980 search results - page 31 / 196
» On Negative Bases
Sort
View
CL
2000
Springer
14 years 19 hour ago
Proving Failure in Functional Logic Programs
How to extract negative information from programs is an important issue in logic programming. Here we address the problem for functional logic programs, from a proof-theoretic pers...
Francisco Javier López-Fraguas, Jaime S&aac...
ICDT
1997
ACM
97views Database» more  ICDT 1997»
13 years 11 months ago
Queries and Computation on the Web
The paper introduces a model of the Web as an in nite, semistructured set of objects. We reconsider the classical notions of genericity and computability of queries in this new con...
Serge Abiteboul, Victor Vianu
CAISE
2006
Springer
13 years 11 months ago
Controlling the Level of Business Process Instance Flexibility via Rules of Planning
When an organization decides on the level of flexibility in handling business process instances, it needs to impose this level in operational practice. The way of imposing a given ...
Ilia Bider, Alexey Striy
NIPS
2001
13 years 9 months ago
Hyperbolic Self-Organizing Maps for Semantic Navigation
We introduce a new type of Self-Organizing Map (SOM) to navigate in the Semantic Space of large text collections. We propose a "hyperbolic SOM" (HSOM) based on a regular...
Jörg Ontrup, Helge Ritter
IJBRA
2007
57views more  IJBRA 2007»
13 years 7 months ago
Decoding algorithms in pooling designs with inhibitors and error-tolerance
: Pooling designs are used in DNA library screening to efficiently distinguish positive from negative clones, which is fundamental for studying gene functions and many other biolog...
My T. Thai, David MacCallum, Ping Deng, Weili Wu