2661 search results - page 374 / 533 » Model Checking Performability Properties |
118
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure ...
132
click to vote
ICCS
2009
Springer
15 years 19 days ago
2009
Springer
This article presents a local control approach to linear vehicle platooning. Linear platoon systems are sets of vehicles that use local or global perception capabilities to form a ...
143
click to vote
BMCBI
2010
15 years 9 days ago
2010
Background: The Gene Ontology (GO) is a well known controlled vocabulary describing the biological process, molecular function and cellular component aspects of gene annotation. I...
231
click to vote
ICDE
1997
IEEE
16 years 4 months ago
1997
IEEE
Transaction delegation, as introduced in ACTA, allows a transaction to transfer responsibility for the operations that it has performed on an object to another transaction. Delega...
101
click to vote
PG
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper we present a method to relight human faces in real time, using consumer-grade graphics cards even with limited 3D capabilities. We show how to render faces using a c...