Sciweavers

3318 search results - page 302 / 664
» The Weak Instance Model
Sort
View
171
Voted
BMCBI
2007
141views more  BMCBI 2007»
15 years 6 months ago
HeliCis: a DNA motif discovery tool for colocalized motif pairs with periodic spacing
Background: Correct temporal and spatial gene expression during metazoan development relies on combinatorial interactions between different transcription factors. As a consequence...
Erik Larsson, Per Lindahl, Petter Mostad
IJFCS
2006
106views more  IJFCS 2006»
15 years 6 months ago
A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata
ion for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, Graduate School of Information Science...
Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teru...
184
Voted
ICML
1998
IEEE
16 years 7 months ago
Heading in the Right Direction
Stochastic topological models, and hidden Markov models in particular, are a useful tool for robotic navigation and planning. In previous work we have shown how weak odometric dat...
Hagit Shatkay, Leslie Pack Kaelbling
SDM
2009
SIAM
125views Data Mining» more  SDM 2009»
16 years 3 months ago
Identifying Unsafe Routes for Network-Based Trajectory Privacy.
In this paper, we propose a privacy model that offers trajectory privacy to the requesters of Location-Based Services (LBSs), by utilizing an underlying network of user movement. ...
Aris Gkoulalas-Divanis, Mohamed F. Mokbel, Vassili...
QEST
2008
IEEE
16 years 16 days ago
Hintikka Games for PCTL on Labeled Markov Chains
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
Harald Fecher, Michael Huth, Nir Piterman, Daniel ...