1999 search results - page 81 / 400 » Dependently Typed Grammars |
150
click to vote
COLING
1996
15 years 7 months ago
1996
We describe a bidirectional framework for natural language parsing and generation, using a typedfeatureformalismand an HPSG-based grammar with a parser and generator derived from ...
151
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
In this paper we present a swarm grammar system that makes use of bio-inspired mechanisms of reproduction, communication and construction in order to build three-dimensional struc...
173
click to vote
SAC
2009
ACM
16 years 29 days ago
2009
ACM
Ubiquitous computing and service-oriented computing enable the development of a new trend of applications that can opportunely interact with services discovered in the surrounding...
145
click to vote
SAT
2009
Springer
16 years 22 days ago
2009
Springer
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....
157
click to vote
JNW
2006
15 years 6 months ago
2006
Recently, the use of wireless sensor networks has spread to applications areas that are not viable or costefficient to be run on other types of networks. Due to some critical tasks...