Sciweavers

1209 search results - page 121 / 242
» Using Prosodic Features in Language Models for Meetings
Sort
View
122
Voted
CORR
2002
Springer
93views Education» more  CORR 2002»
15 years 3 months ago
Modeling Complex Domains of Actions and Change
This paper studies the problem of modeling complex domains of actions and change within highlevel action description languages. We investigate two main issues of concern: (a) can ...
Antonis C. Kakas, Loizos Michael
158
Voted
SIGMOD
1993
ACM
93views Database» more  SIGMOD 1993»
15 years 7 months ago
Design and Implementation of the Glue-Nail Database System
We describe the design and implementation of the Glue-Nail database system. The Nail language is a purely declarative query language; Glue is a procedural language used for nonque...
Marcia A. Derr, Shinichi Morishita, Geoffrey Phipp...
151
Voted
NFM
2011
223views Formal Methods» more  NFM 2011»
14 years 10 months ago
opaal: A Lattice Model Checker
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
Andreas Engelbredt Dalsgaard, René Rydhof H...
127
Voted
CICLING
2010
Springer
15 years 3 months ago
A Distributional Semantics Approach to Simultaneous Recognition of Multiple Classes of Named Entities
Named Entity Recognition and Classification is being studied for last two decades. Since semantic features take huge amount of training time and are slow in inference, the existing...
Siddhartha Jonnalagadda, Robert Leaman, Trevor Coh...
132
Voted
ENTCS
2002
84views more  ENTCS 2002»
15 years 3 months ago
Programming Autonomous Robots in Curry
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
Michael Hanus, Klaus Höppner