1153 search results - page 186 / 231 » Compositional Specification Calculus for Information Systems... |
149
Voted
AIEDU
2005
15 years 3 months ago
2005
This paper describes the design and empirical validation of three distinct pedagogical agent roles (Expert, Motivator, and Mentor) for college students within the MIMIC (Multiple I...
152
Voted
RML
2002
15 years 3 months ago
2002
Conceptual modeling techniques such as EER, ORM and to some extent the UML have been developed in the past for building information systems. These techniques or suitable extensions...
158
Voted
DGO
2011
14 years 3 months ago
2011
In this paper, we describe a tool to help holistically understand, research and analyze the relationship between an ecosystem model and the relevant laws. Specifically, a software...
130
Voted
ECCV
2004
Springer
15 years 8 months ago
2004
Springer
3D reconstruction from image data is required in many medical procedures. Recently, the use of fluoroscopy data to generate these 3D models has been explored. Most existing methods...
153
Voted
IR
2006
15 years 3 months ago
2006
The complexity and diversity of government regulations make understanding and retrieval of regulations a non-trivial task. One of the issues is the existence of multiple sources o...