Sciweavers

2904 search results - page 66 / 581
» Number Forms in the Brain
Sort
View
COLING
1996
13 years 10 months ago
An Agreement Corrector for Russian
The paper describes an application-oriented system that corrects agreement errors. In order to correct a sentence with such errors, an extended morphological structure is created ...
Leonid Mitjushin
JAL
2000
82views more  JAL 2000»
13 years 8 months ago
New Upper Bounds for Maximum Satisfiability
The (unweighted) Maximum Satisfiability problem (MaxSat) is: given a boolean formula in conjunctive normal form, find a truth assignment that satisfies the most number of clauses....
Rolf Niedermeier, Peter Rossmanith
ICFP
2000
ACM
14 years 1 months ago
Static enforcement of security with types
A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac
Christian Skalka, Scott F. Smith
IDEAS
1999
IEEE
130views Database» more  IDEAS 1999»
14 years 1 months ago
A Heuristics-Based Approach to Query Optimization in Structured Document Databases
The number of documents published via WWW in form of SGML/HTML has been rapidly growing for years. Efficient, declarative access mechanisms for this type of documents
Dunren Che, Karl Aberer
DM
2006
60views more  DM 2006»
13 years 9 months ago
Extended directed triple systems
Let {v; b2, b1} denote the class of extended directed triple systems of the order v in which the number of blocks of the form [a, b, a] is b2 and
Wen-Chung Huang