9284 search results - page 117 / 1857 » Knowledge State Algorithms |
118
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Recently, the problem of obtaining a short regular expression equivalent to a given finite automaton has been intensively investigated. Algorithms for converting finite automata to...
112
click to vote
ENTCS
2007
15 years 2 months ago
2007
We propose a compositional technique for efficient verification of networks of parallel processes. It is based on an automatic analysis of LTSs of individual processes (using a f...
140
click to vote
BIOSYSTEMS
2007
15 years 2 months ago
2007
This paper presents an approach for controlling gene networks based on a Markov chain model, where the state of a gene network is represented as a probability distribution, while ...
111
click to vote
RULES
1993
Springer
15 years 6 months ago
1993
Springer
There have been many recent research efforts on temporal databases for managing current and historical data and on active databases for monitoring real-world events as well as dat...
123
Voted
DSS
2007
15 years 2 months ago
2007
chool of Business Research – FY 2007 Research Abstracts Dare to Share: Protecting Sensitive Knowledge with Data Sanitization Data sanitization is a process that is used to promot...