Sciweavers

5290 search results - page 458 / 1058
» Information systems as social structures
Sort
View
ATAL
2005
Springer
16 years 21 days ago
Designing multiparty interaction support in Elva, an embodied tour guide
Although social research into group interaction has flourished since the 20th century, the technology of embodied conversational agents for handling multiparty interaction is stil...
Jun Zheng, Xiang Yuan, Yam San Chee
MKM
2005
Springer
16 years 19 days ago
A Proof-Theoretic Approach to Hierarchical Math Library Organization
Abstract. The relationship between theorems and lemmas in mathematical reasoning is often vague. No system exists that formalizes the structure of theorems in a mathematical librar...
Kamal Aboul-Hosn, Terese Andersen
DICS
2006
15 years 9 months ago
Definition and Correct Refinement of Operation Specifications
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...
Thomas Baar, Slavisa Markovic, Frédé...
CAISE
2003
Springer
16 years 11 days ago
Ontology Mapping through Analysis of Model Extension
The overall problem addressed in this paper is to improve semantic interoperability in heterogeneous systems. Normally, the semantics of data is carried by ontology (concept model)...
Xiaomeng Su, Terje Brasethvik, Sari Hakkarainen
CDC
2009
IEEE
119views Control Systems» more  CDC 2009»
15 years 12 months ago
On observer based stabilization of networked systems
— Stabilizability of linear time invariant networked systems of general structure is studied with an observer-based approach. In the assumption of piecewise constant controls an ...
Paolo Caravani, Elena De Santis