2765 search results - page 306 / 553 » Works and representation |
148
click to vote
MONTEREY
2007
Springer
16 years 24 days ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
166
click to vote
SCALESPACE
2007
Springer
16 years 23 days ago
2007
Springer
The reconstruction problem is usually formulated as a variational problem in which one searches for that image that minimizes a so called prior (image model) while insisting on cer...
159
click to vote
TACAS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
196
click to vote
ASWEC
2006
IEEE
16 years 22 days ago
2006
IEEE
Web services are designed for composition and use by third parties through dynamic discovery. As such, the issue of interoperability between services is of great importance to ens...
178
click to vote
IPPS
2006
IEEE
16 years 21 days ago
2006
IEEE
In this work we present a system for implementing the placement and routing stages in the FPGA cycle of design, into the physical design stage. We start with the ISCAS benchmarks,...