Sciweavers

2308 search results - page 208 / 462
» Categorial Semantics For LFG
Sort
View
ICEIS
2003
IEEE
15 years 12 months ago
Formalizing Types with Ultimate Closure for Middleware Tools in Information Systems Engineering
: A definition of types in an information system is given from real-world abstractions through data constructs, schema and definitions to physical data values. Category theory su...
B. Nick Rossiter, David A. Nelson, Michael A. Heat...
ATAL
2003
Springer
15 years 11 months ago
Towards deception in agents
We have implemented a test-bed with agents who collaborate and communicate, potentially with deceptive information. Agents range from benevolent to selfish. They also have differi...
Derrick Ward, Henry Hexmoor
ER
2007
Springer
115views Database» more  ER 2007»
15 years 10 months ago
Modeling Workflow Patterns from First Principles
We propose a small set of parameterized abstract models for workflow patterns, starting from first principles for sequential and distributed control. Appropriate instantiations yie...
Egon Börger
GIR
2007
ACM
15 years 10 months ago
Eliciting concepts of place for text-based image retrieval
This paper describes research being employed in the Tripod project to improve the retrieval of photographs through a comprehensive knowledge of where they were taken. The methods ...
Alistair J. Edwardes, Ross S. Purves
HRI
2007
ACM
15 years 10 months ago
Incremental natural language processing for HRI
Robots that interact with humans face-to-face using natural language need to be responsive to the way humans use language in those situations. We propose a psychologicallyinspired...
Timothy Brick, Matthias Scheutz