624 search results - page 51 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
RECOMB
2002
Springer
14 years 9 months ago
2002
Springer
There has been considerable recent interest in the use of haplotype structure to aid in the design and analysis of case-control association studies searching for genetic predictors...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
—This paper presents a new method developed for the optimal design of microrobotic compliant mechanisms. It is based on a flexible building block method, called FlexIn, which use...
ALGORITHMICA
2004
13 years 8 months ago
2004
Query answers from on-line databases can easily be corrupted by hackers or malicious database publishers. Thus it is important to provide mechanisms which allow clients to trust th...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
In this paper we attempt to further demonstrate connections between information theory and control, in a networked setting. Specifically, we consider the communication problem of b...
DATE
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper we introduce an approach for parameter controlled symbolic analysis of nonlinear analog circuits. Based on a state-of–the-art algorithm, it enables the removal of ...