3972 search results - page 558 / 795 » Cosparse analysis modeling - uniqueness and algorithms |
210
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
234
click to vote
SIGGRAPH
1996
ACM
15 years 11 months ago
1996
ACM
We present a new approach for modeling and rendering existing architectural scenes from a sparse set of still photographs. Our modeling approach, which combines both geometry-base...
172
click to vote
TSMC
2008
15 years 7 months ago
2008
This paper deals with the development of a computer model to estimate the subjective workload score of individuals by evaluating their heart-rate (HR) signals. The identification o...
235
click to vote
IANDC
2011
15 years 2 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
233
click to vote
SIGGRAPH
1996
ACM
15 years 11 months ago
1996
ACM
This paper describes a prototype system for surgical planning and prediction of human facial shape after craniofacial and maxillofacial surgery for patients with facial deformitie...