2502 search results - page 232 / 501 » Using probabilistic model checking in systems biology |
182
click to vote
APSEC
2006
IEEE
16 years 19 days ago
2006
IEEE
The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the int...
200
click to vote
UML
2005
Springer
16 years 1 days ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
251
click to vote
SIGMOD
2012
ACM
13 years 9 months ago
2012
ACM
While extensive work has been done on evaluating queries over tuple-independent probabilistic databases, query evaluation over correlated data has received much less attention eve...
182
click to vote
PVLDB
2008
15 years 6 months ago
2008
There has been a recent surge in work in probabilistic databases, propelled in large part by the huge increase in noisy data sources -from sensor data, experimental data, data fro...
217
click to vote
BIBE
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper discusses an ontology based language modeling text mining approach to the annotation of protein community. Communities appear to play an important role in the functional...