Sciweavers

1999 search results - page 73 / 400
» Dependently Typed Grammars
Sort
View
ALIFE
2004
15 years 6 months ago
Evolution of Resource Competition between Mutually Dependent Digital Organisms
We study the emergence and dynamics of competing strains of digital organisms in a world with two depletable resources. Consumption of one resource produces the other resource as a...
Tyler J. Johnson, Claus O. Wilke
TCS
1998
15 years 5 months ago
Axiomatisation of Functional Dependencies in Incomplete Relations
Incomplete relations are relations which contain null values, whose meaning is \value is at present unknown". Such relations give rise to two types of functional dependency (...
Mark Levene, George Loizou
COLING
2010
15 years 1 months ago
Benchmarking of Statistical Dependency Parsers for French
We compare the performance of three statistical parsing architectures on the problem of deriving typed dependency structures for French. The architectures are based on PCFGs with ...
Marie Candito, Joakim Nivre, Pascal Denis, Enrique...
FOSSACS
2009
Springer
16 years 29 days ago
Dependency Tree Automata
We introduce a new kind of tree automaton, a dependency tree automaton, that is suitable for deciding properties of classes of terms with binding. Two kinds of such automaton are d...
Colin Stirling
ICAS
2005
IEEE
78views Robotics» more  ICAS 2005»
15 years 11 months ago
Using real-time dependability in adaptive service selection
In Service-Oriented Architectures (SOA), services advertise a description of the type of service they can provide. Sometimes, services also advertise Quality of Information (QoI) ...
Markus C. Huebscher, Julie A. McCann