4341 search results - page 549 / 869 » Quantitative Model checking |
145
click to vote
BILDMED
2009
15 years 7 months ago
2009
Abstract. Neurovascular compression syndromes are caused by a pathological contact between cranial nerves and vascular structures at the surface of the brainstem. Aiming at improve...
195
click to vote
FGR
2008
IEEE
15 years 7 months ago
2008
IEEE
Tracking human pose using observations from less than three cameras is a challenging task due to ambiguity in the available image evidence. This work presents a method for trackin...
153
Voted
ALIFE
2008
15 years 6 months ago
2008
Current analyses of genomes from numerous species show that the diversity of organism's functional and behavioral characters is not proportional to the number of genes that e...
141
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Nested words, a model for recursive programs proposed by Alur and Madhusudan, have recently gained much interest. In this paper we introduce quantitative extensions and study neste...
152
Voted
IEPOL
2006
15 years 6 months ago
2006
The free-rider phenomenon which impedes the marketing of information goods is conventionally countered by copyright protection regulations and technology. Alternative ways to mark...