Sciweavers

1187 search results - page 169 / 238
» Unsupervised Natural Language Processing Using Graph Models
Sort
View
FM
2009
Springer
104views Formal Methods» more  FM 2009»
14 years 4 months ago
A Metric Encoding for Bounded Model Checking
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
Matteo Pradella, Angelo Morzenti, Pierluigi San Pi...
NAACL
1994
13 years 11 months ago
Integrated Techniques for Phrase Extraction from Speech
We present an integrated approach to speech and natural language processing which uses a single parser to create training for a statistical speech recognition component and for in...
Marie Meteer, Jan Robin Rohlicek
CICLING
2010
Springer
14 years 5 months ago
EusPropBank: Integrating Semantic Information in the Basque Dependency Treebank
This paper deals with theoretical problems found in the work that is being carried out for annotating semantic roles in the Basque Dependency Treebank (BDT). We will present the re...
Izaskun Aldezabal, María Jesús Aranz...
PPSWR
2005
Springer
14 years 3 months ago
A Geospatial World Model for the Semantic Web
The Semantic Web is an endeavour aiming at enhancing Web data with meta-data and data processing, as well as processing methods specifying the “meaning” of such data and allowi...
François Bry, Bernhard Lorenz, Hans Jü...
JMLR
2010
128views more  JMLR 2010»
13 years 8 months ago
Iterative Scaling and Coordinate Descent Methods for Maximum Entropy Models
Maximum entropy (Maxent) is useful in natural language processing and many other areas. Iterative scaling (IS) methods are one of the most popular approaches to solve Maxent. With...
Fang-Lan Huang, Cho-Jui Hsieh, Kai-Wei Chang, Chih...