Sciweavers

3281 search results - page 265 / 657
» Bases for parametrized iterativity
Sort
View
TCS
2010
15 years 5 months ago
Detecting synchronisation of biological oscillators by model checking
We define a subclass of timed automata, called oscillator timed automata, suitable to model biological oscillators. Coupled biological oscillators may synchronise, as emerging be...
Ezio Bartocci, Flavio Corradini, Emanuela Merelli,...
GLOBECOM
2009
IEEE
15 years 4 months ago
Nonparametric Obstruction Detection for UWB Localization
Ultra-wide bandwidth (UWB) transmission is a promising technology for indoor localization due to its fine delay resolution and obstacle-penetration capabilities. However, the prese...
Stefano Maranò, Wesley M. Gifford, Henk Wym...
RULES
1993
Springer
133views Database» more  RULES 1993»
15 years 10 months ago
Activities in Object Bases
Objects are collected into an object base because of a presumed need for cooperation among them. In classical object bases the cooperation is based on synchronous, preplanned mess...
Peter C. Lockemann, Hans-Dirk Walter
AAAI
2000
15 years 8 months ago
A Consistency-Based Model for Belief Change: Preliminary Report
We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...
James P. Delgrande, Torsten Schaub
ICCV
2007
IEEE
16 years 8 months ago
Graph-Cut Transducers for Relevance Feedback in Content Based Image Retrieval
Closing the semantic gap in content based image retrieval (CBIR) basically requires the knowledge of the user's intention which is usually translated into a sequence of quest...
Hichem Sahbi, Jean-Yves Audibert, Renaud Keriven