Sciweavers

12774 search results - page 256 / 2555
» A Framework for Proof Systems
Sort
View
FTCS
1996
52views more  FTCS 1996»
15 years 8 months ago
A Framework for Conformance Testing of Systems Communicating through Rendezvous
Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann
TREC
2007
15 years 7 months ago
The OHSU Biomedical Question Answering System Framework
Aaron M. Cohen, Jianji Yang, Seeger Fisher, Brian ...
EPEW
2010
Springer
15 years 7 months ago
A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking
Lasse Jacobsen, Morten Jacobsen, Mikael H. M&oslas...
AAMAS
2007
Springer
15 years 6 months ago
A framework for meta-level control in multi-agent systems
Sophisticated agents operating in open environments must make decisions that efficiently trade off the use of their limited resources between dynamic deliberative actions and dom...
Anita Raja, Victor R. Lesser
BIB
2008
53views more  BIB 2008»
15 years 6 months ago
VisANT: an integrative framework for networks in systems biology
Zhenjun Hu, Evan S. Snitkin, Charles DeLisi