Sciweavers

3322 search results - page 354 / 665
» Automatic Human Model Generation
Sort
View
JSA
2008
131views more  JSA 2008»
15 years 2 months ago
Formal verification of ASMs using MDGs
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
Amjad Gawanmeh, Sofiène Tahar, Kirsten Wint...
189
Voted
IHI
2012
217views Healthcare» more  IHI 2012»
13 years 10 months ago
Declarative privacy policy: finite models and attribute-based encryption
Regulations and policies regarding Electronic Health Information (EHI) are increasingly complex. Federal and State policy makers have called for both education to increase stakeho...
Peifung E. Lam, John C. Mitchell, Andre Scedrov, S...
WSDM
2009
ACM
161views Data Mining» more  WSDM 2009»
15 years 9 months ago
Predicting the readability of short web summaries
Readability is a crucial presentation attribute that web summarization algorithms consider while generating a querybaised web summary. Readability quality also forms an important ...
Tapas Kanungo, David Orr
EGITALY
2006
15 years 4 months ago
Easy Access to Huge 3D Models of Works of Art
Automatic shape acquisition technologies evolved rapidly in recent years, and huge mass of 3D data can be easily produced. The high accuracy of range scanning technology makes the...
Marco Callieri, Federico Ponchio, Paolo Cignoni, R...
ACMACE
2007
ACM
15 years 7 months ago
Motivated reinforcement learning for adaptive characters in open-ended simulation games
Recently a new generation of virtual worlds has emerged in which users are provided with open-ended modelling tools with which they can create and modify world content. The result...
Kathryn Elizabeth Merrick, Mary Lou Maher