1021 search results - page 182 / 205 » Concepts in Proof Planning |
SIGGRAPH
1996
ACM
14 years 3 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...
ECAI
2006
Springer
14 years 27 days ago
2006
Springer
Abstract. In social mechanism design, obligation distribution creates individual or contractual obligations that imply a collective obligation. A distinguishing feature from group ...
VTC
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract— Mobile radio networks of the IMT-Advanced systems family promise ubiquitous broadband access and high area coverage, with rates of several 100 MBit/s. They claim to gua...
TASE
2012
IEEE
12 years 6 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
WWW
2007
ACM
14 years 11 months ago
2007
ACM
Click fraud is jeopardizing the industry of Internet advertising. Internet advertising is crucial for the thriving of the entire Internet, since it allows producers to advertise t...