1734 search results - page 41 / 347 » its 2000 |
CSCW
2000
ACM
15 years 2 months ago
2000
ACM
In general, collaboration infrastructures have supported sharing of an object based on its logical structure. However, current implementations assume an implicit binding between t...
ATAL
2000
Springer
15 years 2 months ago
2000
Springer
We outline how an agent’s shared autonomy considerations affect its interaction in a team. A unified model of acting and speaking will be presented that includes teaming and aut...
FSTTCS
2000
Springer
15 years 1 months ago
2000
Springer
: A pushdown system is a graph G(P) of configurations of a pushdown automaton P. The model checking problem for a logic L is: given a pushdown automaton P and a formula L decide ...
KR
2000
Springer
15 years 1 months ago
2000
Springer
Acquiring information about its environment by sensing is a crucial ability of autonomous robots. Based on the established solution to the Frame Problem of the Fluent Calculus, we...
ACL
2000
14 years 11 months ago
2000
We discuss the advantages of lexicalized tree-adjoining grammar as an alternative to lexicalized PCFG for statistical parsing, describingthe induction of a probabilistic LTAG mode...