Sciweavers

277 search results - page 15 / 56
» Automated mechanism design for a self-interested designer
Sort
View
BLISS
2008
IEEE
14 years 2 months ago
Using a Cognitive Architecture to Automate Cyberdefense Reasoning
The CSISM project is designing and implementing an automated cyberdefense decision-making mechanism with expert-level ability. CSISM interprets alerts and observations and takes d...
D. Paul Benjamin, Partha Pratim Pal, Franklin Webb...
ADG
1998
Springer
138views Mathematics» more  ADG 1998»
14 years 7 days ago
Automated Geometry Diagram Construction and Engineering Geometry
This paper reviews and evaluates three main techniques for automated geometry diagram construction: synthetic methods, numerical computation methods, and symbolic computation metho...
Xiao-Shan Gao
ATAL
2008
Springer
13 years 10 months ago
Mobile opportunistic commerce: mechanisms, architecture, and application
We present mechanisms, architectures, and an implementation addressing challenges with mobile opportunistic commerce centering on markets and mechanisms that support the procureme...
Ece Kamar, Eric Horvitz, Chris Meek
MICRO
2009
IEEE
129views Hardware» more  MICRO 2009»
14 years 2 months ago
Execution leases: a hardware-supported mechanism for enforcing strong non-interference
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...
Mohit Tiwari, Xun Li, Hassan M. G. Wassel, Frederi...
CF
2007
ACM
14 years 6 hour ago
Automated generation of layout and control for quantum circuits
We present a computer-aided design flow for quantum circuits, complete with automatic layout and control logic extraction. To motivate automated layout for quantum circuits, we in...
Mark Whitney, Nemanja Isailovic, Yatish Patel, Joh...