2951 search results - page 80 / 591 » Trustable Task Processing Systems |
74
Voted
IAT
2008
IEEE
15 years 4 months ago
2008
IEEE
Our work is focused on alleviating the workload for designers of adaptive courses on the complexity task of authoring adaptive learning designs adjusted to specific user character...
76
Voted
PERCOM
2011
ACM
14 years 1 months ago
2011
ACM
—We present a visualization framework integrated in a context-aware system that uses a common underlying stream processing middleware for tight integration of data accessing, pro...
CIKM
2006
Springer
15 years 5 days ago
2006
Springer
Peer Data Management Systems (PDMS) are a natural extension of heterogeneous database systems. One of the main tasks in such systems is efficient query processing. Insisting on co...
IJCAI
1997
14 years 11 months ago
1997
We have been developing Name-It, a system that associates faces and names in news videos. First, as the only knowledge source, the system is given news videos which include image ...
82
Voted
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...