Sciweavers

2016 search results - page 85 / 404
» Megamaps: Construction and Examples
Sort
View
IAT
2009
IEEE
15 years 11 months ago
Modularity in BDI-Based Multi-agent Programming Languages
—This paper proposes a module-based vision for designing BDI-based multi-agent programming languages. The introduced concept of modules enables common programming techniques such...
Mehdi Dastani, Bas R. Steunebrink
ICEIS
2003
IEEE
15 years 10 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...
CALCO
2007
Springer
109views Mathematics» more  CALCO 2007»
15 years 10 months ago
Quasitoposes, Quasiadhesive Categories and Artin Glueing
Adhesive categories are a class of categories in which pushouts along monos are well-behaved with respect to pullbacks. Recently it has been shown that any topos is adhesive. Many ...
Peter T. Johnstone, Stephen Lack, Pawel Sobocinski
CIA
2001
Springer
15 years 9 months ago
Wizard of Oz Method for Learning Dialog Agents
This paper describes a framework to construct interface agents with example dialogs based on the tasks by the machine learning technology. The Wizard of Oz method is used to collec...
Masayuki Okamoto, Yeonsoo Yang, Toru Ishida
CHI
1995
ACM
15 years 8 months ago
The ScienceWare Modeler: a learner-centered tool for students building models
The Modeler is designed using a learner-centered approach [5], with scaffolding to address the specific needs of learners. Scaffolding [3] is an educational term that refers to pro...
Shari L. Jackson