3545 search results - page 275 / 709 » Computational methods for case-cohort studies |
158
click to vote
FORMATS
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we focus on the synthesis of secure timed systems which are given by timed automata. The security property that the system must satisfy is a non-interference propert...
168
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
— Coupled oscillator networks occur in various domains such as biology, astrophysics and electronics. In this paper, we present a comprehensive procedure for rapid and accurate s...
142
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— Modeling and scheduling of cluster tools are critical to improving the productivity and to enhancing the design of wafer processing flows and equipment for semiconductor manuf...
162
click to vote
IBPRIA
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. One main process in Computer Vision is image segmentation as a tool to other visual tasks. Although there are many approaches to grey scale image segmentation, nowadays m...
141
click to vote
ICDE
2006
IEEE
16 years 23 days ago
2006
IEEE
In this paper, we study SQL queries with aggregate subqueries that share common tables and conditions with the outer query. While several approaches can deal with such queries, th...