790 search results - page 77 / 158 » Conceptual Modeling of Multimedia Search Applications Using ... |
ICFP
2007
ACM
14 years 7 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
TSMC
2010
13 years 2 months ago
2010
Belief merging is concerned with the integration of several belief bases such that a coherent belief base is developed. Various belief merging models have been developed that use a...
ITS
1998
Springer
14 years 1 days ago
1998
Springer
TRANSoM is a collaborative effort among university and industry researchers aimed at producing an intelligent tutoring system for training pilots of remotely operated vehicles (ROV...
PR
2006
13 years 7 months ago
2006
All of the prototype reduction schemes (PRS) which have been reported in the literature, process time-invariant data to yield a subset of prototypes that are useful in nearest-nei...
ICCAD
2006
IEEE
14 years 4 months ago
2006
IEEE
– In real-time data-dominated communication and multimedia processing applications, due to the manipulation of large sets of data, a multi-layer memory hierarchy is used to enhan...