Sciweavers

19 search results - page 1 / 4
» An alternative characterization of weak order dependence
Sort
View
IPL
2010
81views more  IPL 2010»
13 years 3 months ago
An alternative characterization of weak order dependence
Control dependence forms the basis for many program analyses, such as program slicing. Recent work on control dependence analysis has led to new definitions of dependence that cat...
Torben Amtoft, Kelly Androutsopoulos, David Clark,...
BMCBI
2005
86views more  BMCBI 2005»
13 years 5 months ago
Generalizations of Markov model to characterize biological sequences
Background: The currently used kth order Markov models estimate the probability of generating a single nucleotide conditional upon the immediately preceding (gap = 0) k units. How...
Junwen Wang, Sridhar Hannenhalli
FUIN
2007
135views more  FUIN 2007»
13 years 5 months ago
On First-Order Fragments for Mazurkiewicz Traces
Mazurkiewicz traces form a model for concurrency. Temporal logic st-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical prop...
Volker Diekert, Martin Horsch, Manfred Kufleitner
CIKM
2008
Springer
13 years 7 months ago
Retrievability: an evaluation measure for higher order information access tasks
Evaluation in Information Retrieval (IR) has long focused on effectiveness and efficiency. However, new and emerging access tasks now demand alternative evaluation measures which ...
Leif Azzopardi, Vishwa Vinay
IROS
2006
IEEE
202views Robotics» more  IROS 2006»
13 years 11 months ago
Topological characterization of mobile robot behavior
— We propose to classify the behaviors of a mobile robot thanks to topological methods as an alternative to metric ones. To do so, we adapt an analysis scheme from Physics of non...
Aurélien Hazan, Frédéric Dave...