1541 search results - page 199 / 309 » Tools and Techniques for Model Checking Networked Programs |
147
click to vote
BIBM
2008
IEEE
15 years 11 months ago
2008
IEEE
Using microarray technology for genetic analysis in biological experiments requires computationally intensive tools to interpret results. The main objective here is to develop a â...
157
click to vote
CEC
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract- Complex systems techniques provide a powerful tool to study the emergent properties of networks of interacting genes. In this study we extract models of genetic regulator...
121
click to vote
IJCNN
2006
IEEE
15 years 10 months ago
2006
IEEE
— A key step in many statistical learning methods used in machine learning involves solving a convex optimization problem containing one or more hyper-parameters that must be sel...
140
click to vote
APN
2004
Springer
15 years 8 months ago
2004
Springer
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...
170
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
Decision procedures have long been a ï¬xture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...