5451 search results - page 950 / 1091 » Typed Operational Semantics |
113
Voted
AAAI
1996
15 years 4 months ago
1996
Partial-Order Causal Link planners typically take a "least-commitment" approach to some decisions (notably, step ordering), postponing those decisions until constraints ...
129
Voted
DIMACS
1996
15 years 4 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
119
Voted
NAACL
1994
15 years 4 months ago
1994
The normal practice of selecting relevant documents for training routing queries is to either use all relevants or the 'best n' of them after a (retrieval) ranking opera...
145
click to vote
ACL
1992
15 years 4 months ago
1992
The information state of an agent is changed when a text (in natural language) is processed. The meaning of a text can be taken to be this information state change potential. The ...
132
Voted
FOGA
1992
15 years 4 months ago
1992
The building-block hypothesis states that the GA works well when short, low-order, highly-fit schemas recombine to form even more highly fit higher-order schemas. The ability to p...