928 search results - page 149 / 186 » Interpolation-sequence based model checking |
CSB
2005
IEEE
14 years 28 days ago
2005
IEEE
In microarray classification we are faced with a very large number of features and very few training samples. This is a challenge for classical Linear Discriminant Analysis (LDA),...
CIIT
2004
14 years 11 days ago
2004
In control systems the jitter is a major problem since in a time-varying system the theoretical results for analysis and design of time-invariant systems cannot be used directly. ...
PDSE
1998
14 years 10 days ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
ATAL
2010
Springer
14 years 3 days ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
IEICET
2006
13 years 11 months ago
2006
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...