Sciweavers

1713 search results - page 72 / 343
» Analysis of Procedure Splitability
Sort
View
PODS
1991
ACM
131views Database» more  PODS 1991»
14 years 24 days ago
Termination Detection in Logic Programs using Argument Sizes
d Abstract Kirack Sohn and Allen Van Gelder University of California, Santa Cruz Progress on automated termination detection for logic programs is reported. The prospects for han...
Kirack Sohn, Allen Van Gelder
LREC
2008
128views Education» more  LREC 2008»
13 years 10 months ago
Unsupervised Lexical Acquisition for Part of Speech Tagging
It is known that POS tagging is not very accurate for unknown words (words which the POS tagger has not seen in the training corpora). Thus, a first step to improve the tagging ac...
Dan Tufis, Elena Irimia, Radu Ion, Alexandru Ceaus...
IJCAI
1989
13 years 10 months ago
Preprocessing Search Spaces for Branch and Bound Search
Heuristic search procedures are useful in a large number of problems of practical importance. Such procedures operate by searching several paths in a search space at the same time...
Qiang Yang, Dana S. Nau
JCO
2006
67views more  JCO 2006»
13 years 9 months ago
Resource allocation for restoration of compromised systems
Computer systems are constantly under the threats of being attacked and in many cases these attacks succeed. Today's networked systems are thus built to be intrusion tolerant....
Qunwei Zheng, Sibabrata Ray, Xiaoyan Hong
JMIV
2010
91views more  JMIV 2010»
13 years 7 months ago
Topological Properties of Thinning in 2-D Pseudomanifolds
Preserving topological properties of objects during thinning procedures is an important issue in the field of image analysis. In the case of 2-D digital images (i.e. images defi...
Nicolas Passat, Michel Couprie, Loïc Mazo, Gi...