16606 search results - page 85 / 3322 » Context Modeling: Task Model and Practice Model |
121
Voted
FMSD
2006
15 years 3 months ago
2006
Two base algorithms are known for reachability verification over timed automata. They are called forward and backwards, and traverse the automata edges using either successors or p...
135
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Biological sequence repeats arranged in tandem patterns are widespread in DNA and proteins. While many software tools have been designed to detect DNA tandem repeats (...
126
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
The purpose of this paper is to model the stochastic behavior of the nodal prices of electricity in deregulated markets in the USA, and in particular, to explain how this behavior...
129
click to vote
BMCBI
2002
15 years 3 months ago
2002
Background: The biomedical community is developing new methods of data analysis to more efficiently process the massive data sets produced by microarray experiments. Systematic an...
111
Voted
TGC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...