|
Found 264 results 2007
"Exploiting Automatically Inferred Constraint-Models for Building Identification in Satellite Imagery",
15th ACM International Symposium on Advances in Geographic Information Systems, Seattle, WA, pp. 35-42, 11/07/2007.
Abstract
"Exploiting Problem Data to Refine Models of Constraint Problems",
13th International Conference on Principles and Practice of Constraint Programming, Providence, RI, pp. 97-102, 09/23/2007.
Abstract
"Exploiting Problem Data to Enrich Models of Constraint Problems",
6th International Workshop On Constraint Modeling and Reformulation, Providence, RI, 09/23/2007.
Abstract
"Reformulating CSPs for Scalability with Application to Geospatial Reasoning",
13th International Conference on Principles and Practice of Constraint Programming, Providence, RI, pp. 164-179, 09/23/2007.
Abstract
"Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling",
ICAPS 2007, Providence, Rhode Island, USA, AAAI 2007, 09/22/2007.
Security framework for supporting kernel-based hypervisors within a computing system,
: Secure Computing Corporation, 08/2007.
Abstract
"Reformulating Constraint Satisfaction Problems to Improve Scalability",
7th Symposium on Abstraction, Reformulation and Approximation, Whistler, BC, Canada, pp. 64-79, 07/18/2007.
Abstract
"Reformulating Constraint Models Using Input Data",
7th Symposium on Abstraction, Reformulation and Approximation, Whistler, BC, Canada, pp. 402-404, 07/18/2007.
"Tactical service-oriented architecture over wireless communications",
SPIE Defense Transformation and Net-Centric Systems, vol. 6578, 04/30/2007.
2006
System and method for enhanced situation awareness,
: Honeywell International, Inc., 4/2006.
Abstract
Anomaly-based intrusion detection,
: Honeywell International, Inc., 2/2006.
Abstract
"Generating Policies for Defense in Depth (DiD)",
IAnewsletter, vol. 9, issue 3, 11/2006.
Abstract
"A Generalized Query Framework for Geospatial Reasoning",
Twenty First National Conference on Artificial Intelligence, Boston, mA, 07/16/2006.
Human Activity Coodination,
: Honeywell International Inc., 05/2006.
Abstract
"Automated Assessment Processes",
2006 Red Team Workshop, Sandia National Labs, Albuquerque, NM, 05/02/2006.
Extremely Secure Method for keying Stored Contents to a Specific Storage Device,
: Maxtor Corporation, 03/2006.
Abstract
"2003 NSF SCADA/IT for Critical Infrastructure Protection Workshop Summary",
Beyond SCADA: Networked Embedded Control Systems Meeting, Washington, DC, 03/16/2006.
"Information Assurance Technology Forecast 2005",
IEEE Security & Privacy, vol. 4, issue 1, pp. 62-69, 01/2006.
Abstract
2005
"Generating Policies for Defense in Depth",
21st Annual Computer Security Applications Conference, 12/2005.
"A Heterogeneous Field Matching Method for Record Linkage",
5th IEEE International Conference on Data Mining, vol. 2005, Houston, TX, pp. 314-321, 11/2005.
Abstract
"A Constraint Satisfaction Approach to Geospatial Reasoning",
The Twentieth National Conference on Artificial Intelligence, Pittsburgh, PA, pp. 423-429, 07/2005.
Abstract
"High Confidence Software and Systems (HCSS) Coordinating Group (CG) Assured, Real-Time Operating Systems (ARTOS) Briefings",
National Coordination Office for Networking and Information Technology Research and Development, 07/2005.
Activity Monitoring,
: Red Wing Technologies, 06/2005.
Abstract
"Course of Action Generation for Cyber Security Using Classical Planning",
ICAPS-05, 06/05/2005.
Abstract
"Automatically Utilizing Secondary Sources to Align Information Across Sources",
AI Magazine, Special Issue on Semantic Integration, vol. 26, issue 1, pp. 33-45, 04/2005.
Abstract
|