Sciweavers

3706 search results - page 233 / 742
» System Description: E-KRHyper
Sort
View
88
Voted
AAAI
2008
15 years 3 months ago
Towards Automatic Animated Storyboarding
In this paper, we propose a machine learning-based NLP system for automatically creating animated storyboards using the action descriptions of movie scripts. We focus particularly...
Patrick Ye, Timothy Baldwin
101
Voted
CAV
2008
Springer
121views Hardware» more  CAV 2008»
15 years 2 months ago
The Barcelogic SMT Solver
This is the first system description of the Barcelogic SMT solver, which implements all techniques that our group has been developing over the last four years as well as state-of-t...
Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras...
96
Voted
LREC
2010
136views Education» more  LREC 2010»
15 years 2 months ago
The Spanish Resource Grammar
This paper describes work on the development of an open-source HPSG grammar for Spanish implemented within the LKB system. Following a brief description of the main features of th...
Montserrat Marimon
VAMOS
2008
Springer
15 years 2 months ago
Variability Management on Behavioral Models
This paper deals with managing variability on behavioral models. Such models are generally more complex, less tractable by hand than the static, structural parts of a system descr...
Patrick Tessier, David Servat, Sébastien G&...
DATESO
2004
80views Database» more  DATESO 2004»
15 years 2 months ago
Storing XML Data In a Native Repository
This paper is concerned with storing XML data in a native repository suitable for querying with modern languages such as XPath or XQuery. It contains a description of the experimen...
Kamil Toman