3082 search results - page 549 / 617 » Deviation Analysis: A New Use of Model Checking |
121
click to vote
PG
2007
IEEE
15 years 6 months ago
2007
IEEE
Interactive animation systems often use a level-of-detail (LOD) control to reduce the computational cost by eliminating unperceivable details of the scene. Most methods employ a m...
113
click to vote
CVPR
2009
IEEE
15 years 6 months ago
2009
IEEE
We present a catadioptric projector analogous to a catadioptric camera by combining a commodity digital projector with additional optical units. We show that, by using specially sh...
HICSS
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper presents a case study on the use of an alternative method of computer support to that normally used, one that uses voting as a tool for social rather than rational choi...
104
click to vote
CIBCB
2007
IEEE
15 years 1 months ago
2007
IEEE
—In metabolic engineering it is difficult to identify which set of genetic manipulations will result in a microbial strain that achieves a desired production goal, due to the co...
100
click to vote
DBSEC
2009
15 years 29 days ago
2009
Abstract. We present a new access control mechanism for P2P networks with distributed enforcement, called P2P Access Control System (PACS). PACS enforces powerful access control mo...