9067 search results - page 374 / 1814 » Adaptive Model Checking |
178
click to vote
ICTAI
2003
IEEE
16 years 1 days ago
2003
IEEE
In bioinformatics, biochemical pathways can be modeled by many differential equations. It is still an open problem how to fit the huge amount of parameters of the equations to the...
135
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
Abstract Representing data using multiresolution is a valuable tool for the interactive exploration of very large datasets. Current multiresolution tools are written specifically ...
201
click to vote
CAIP
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In this paper we present a novel analysis-by-synthesis approach for real-time camera tracking in industrial scenarios. The camera pose estimation is based on the tracking...
203
click to vote
ADHOC
2007
15 years 6 months ago
2007
We investigate the problem of modeling node capture attacks in heterogeneous wireless ad hoc and mesh networks. Classical adversarial models such as the Dolev–Yao model are know...
201
click to vote
ENVSOFT
2008
15 years 6 months ago
2008
In this paper two areas of soft computing (fuzzy modeling and artificial neural networks) are discussed. Based on the fundamental mathematical similarity of fuzzy technique and ra...