13026 search results - page 2446 / 2606 » Probabilistic Relational Models |
147
Voted
ATVA
2004
Springer
15 years 9 months ago
2004
Springer
Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, ...
108
Voted
EUROCRYPT
2004
Springer
15 years 9 months ago
2004
Springer
We provide methods for transforming an encryption scheme susceptible to decryption errors into one that is immune to these errors. Immunity to decryption errors is vital when const...
131
Voted
IPSN
2004
Springer
15 years 9 months ago
2004
Springer
Automatic self-calibration of ad-hoc sensor networks is a critical need for their use in military or civilian applications. In general, self-calibration involves the combination o...
144
Voted
MLMI
2004
Springer
15 years 9 months ago
2004
Springer
Video document retrieval is now an active part of the domain of multimedia retrieval. However, unlike for other media, the management of a collection of video documents adds the pr...
156
Voted
NMR
2004
Springer
15 years 9 months ago
2004
Springer
The development of Logic Programming and Defeasible Argumentation lead to Defeasible Logic Programming. Its core resides in the characterization of the warrant procedure. Defeasib...