577 search results - page 87 / 116 » Model Checking Based on Simultaneous Reachability Analysis |
JGS
2010
13 years 4 months ago
2010
Despite the fact that it provides a potentially useful analytical tool, allowing for the joint modeling of dynamic interdependencies within a group of connected areas, until latel...
CIA
2004
Springer
14 years 2 months ago
2004
Springer
The concept of sequential two-sided search is widely used in partnerships formation applications in various domains. However, when considering the implementation of the method in M...
BMCBI
2011
13 years 26 days ago
2011
Background: Diabetes like many diseases and biological processes is not mono-causal. On the one hand multifactorial studies with complex experimental design are required for its c...
ICIP
2002
IEEE
14 years 11 months ago
2002
IEEE
In this paper we derive an independent-component analysis (ICA) method for analyzing two or more data sets simultaneously. Our model permits there to be components individual to t...
ICDAR
2005
IEEE
14 years 2 months ago
2005
IEEE
Cheap and versatile cameras make it possible to easily and quickly capture a wide variety of documents. However, low resolution cameras present a challenge to OCR because it is vi...