Sciweavers

1389 search results - page 135 / 278
» Definability as hypercomputational effect
Sort
View
HICSS
2002
IEEE
140views Biometrics» more  HICSS 2002»
14 years 1 months ago
Intelligent Student Profiling with Fuzzy Models
Traditional Web-based educational systems still have several shortcomings when comparing with a real-life classroom teaching, such as lack of contextual and adaptive support, lack...
Dongming Xu, Huaiqing Wang, Kaile Su
ATAL
2006
Springer
14 years 20 days ago
Verifying space and time requirements for resource-bounded agents
The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge...
Natasha Alechina, Mark Jago, Piergiorgio Bertoli, ...
APN
2008
Springer
13 years 11 months ago
Hierarchical Set Decision Diagrams and Automatic Saturation
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...
Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon
CIVR
2008
Springer
165views Image Analysis» more  CIVR 2008»
13 years 10 months ago
Balancing thread based navigation for targeted video search
Various query methods for video search exist. Because of the semantic gap each method has its limitations. We argue that for effective retrieval query methods need to be combined ...
Ork de Rooij, Cees G. M. Snoek, Marcel Worring
CATE
2004
128views Education» more  CATE 2004»
13 years 10 months ago
A Service-oriented Approach for Pervasive Learning Grid
This investigation proposed a service-oriented approach based on a pervasive learning grid for solving the difficulties associated with sharing learning resources distributed on d...
Ching-Jung Liao, Fan-Chuan Yang