Sciweavers

123 search results - page 16 / 25
» On the Construction of Sorted Reactive Systems
Sort
View
LREC
2008
117views Education» more  LREC 2008»
13 years 9 months ago
A Suite to Compile and Analyze an LSP Corpus
This paper presents a series of tools for the extraction of specialized corpora from the web and its subsequent analysis mainly with statistical techniques. It is an integrated sy...
Rogelio Nazar, Jorge Vivaldi, Teresa Cabré
DAI
1998
Springer
14 years 19 days ago
Physically Based, Self-Organizing Cellular Automata
A physically based system of interacting polyhedral objects is used to model self-assembly and spontaneous organization of complex structures. The surfaces of the polyhedra in the ...
Alan Dorin
INTENV
2010
13 years 3 months ago
Proactive Intention Recognition for Home Ambient Intelligence
We explore a coherent combination of two jointly implemented logic programming based systems, namely those of Evolution Prospection and Intention Recognition, to address a number o...
Han The Anh, Luís Moniz Pereira
QSIC
2005
IEEE
14 years 2 months ago
Proving the Safety of SQL Queries
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
Stefan Brass, Christian Goldberg
ACL
1993
13 years 9 months ago
A Complete and Recursive Feature Theory
Various feature descriptions are being employed in constrained-based grammar formalisms. The common notational primitive of these descriptions are functional attributes called fea...
Rolf Backofen, Gert Smolka