Sciweavers

1419 search results - page 75 / 284
» Notes on Formalizing Context
Sort
View
CORR
1999
Springer
82views Education» more  CORR 1999»
15 years 9 days ago
Inside-Outside Estimation of a Lexicalized PCFG for German
The paper describes an extensive experiment in inside-outside estimation of a lexicalized probabilistic context free grammar for German verbnal clauses. Grammar and formalism feat...
Franz Beil, Glenn Carroll, Detlef Prescher, Stefan...
85
Voted
IEEEARES
2009
IEEE
15 years 7 months ago
Accuracy: The Fundamental Requirement for Voting Systems
—There have been several attempts to develop a comprehensive account of the requirements for voting systems, particularly for public elections. Typically, these approaches identi...
Tim Storer, Russell Lock
CIE
2005
Springer
15 years 6 months ago
The Transfinite Action of 1 Tape Turing Machines
• We produce a classification of the pointclasses of sets of reals produced by infinite time turing machines with 1-tape. The reason for choosing this formalism is that it appa...
Philip D. Welch
CPM
2005
Springer
116views Combinatorics» more  CPM 2005»
15 years 6 months ago
Exact and Approximation Algorithms for DNA Tag Set Design
In this paper we propose new solution methods for designing tag sets for use in universal DNA arrays. First, we give integer linear programming formulations for two previous formal...
Ion I. Mandoiu, Dragos Trinca
87
Voted
WEBI
2004
Springer
15 years 6 months ago
A Web-Based Intelligent Tutoring System for Computer Programming
Web Intelligence is a direction for scientific research that explores practical applications of Artificial Intelligence to the next generation of Web-empowered systems. In this ...
Cory J. Butz, Shan Hua, R. Brien Maguire