Sciweavers

8337 search results - page 289 / 1668
» Reasoning With Characteristic Models
Sort
View
AH
2004
Springer
15 years 10 months ago
A Learner Model in a Distributed Environment
A learner model must store all the relevant information about a student, including knowledge and attitude. This paper proposes a domain independent learner model based in the class...
Cristina Carmona, Ricardo Conejo
DATESO
2006
148views Database» more  DATESO 2006»
15 years 8 months ago
Conceptual Modeling for XML: A Survey
Recently XML is the standard format used for the exchange of data between information systems and is also frequently applied as a logical database model. If we use XML as a logical...
Martin Necasky
CGF
1999
91views more  CGF 1999»
15 years 6 months ago
Compact Metallic Reflectance Models
The paper presents simple, physically plausible, but not physically based reflectance models for metals and other specular materials. So far there has been no metallic BRDF model ...
László Neumann, Attila Neumann, L&aa...
CAV
2005
Springer
173views Hardware» more  CAV 2005»
16 years 6 days ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
IAT
2005
IEEE
16 years 9 days ago
A Flexible BDI Architecture Supporting Extensibility
The BDI agent model comprises a simple but efficient folk psychological framework of mentalistic notions usable for modeling rational agent behaviour. Nevertheless, despite its u...
Alexander Pokahr, Lars Braubach, Winfried Lamersdo...