Sciweavers

2593 search results - page 126 / 519
» constraints 2007
Sort
View
HICSS
2007
IEEE
149views Biometrics» more  HICSS 2007»
16 years 24 days ago
Managing a New Computer Device Development in a Creative ISO 9001 Certified Company: A Case Study
This paper describes the findings of a case study that explores the micro level factors surrounding the processes of creativity and process management in a creative organization. ...
Wolfgang Molnar, Joe Nandhakumar
ACL
1998
15 years 7 months ago
Parsing Ambiguous Structures using Controlled Disjunctions and Unary Quasi-Trees
The problem of parsing ambiguous structures concerns (i) their representation and (ii) the specification of mechanisms allowing to delay and control their evaluation. We first pro...
Philippe Blache
CASCON
2006
98views Education» more  CASCON 2006»
15 years 7 months ago
A lightweight approach to state based security testing
State based protocols are protocols in which the handling of one message depends on the contents of previous messages. Testing such protocols, for security or for other purposes u...
Songtao Zhang, Thomas R. Dean, Scott Knight
BNCOD
2007
104views Database» more  BNCOD 2007»
15 years 8 months ago
Integrity Checking and Maintenance with Active Rules in XML Databases
While specification languages for integrity constraints for XML data have been considered in the literature, actual technologies and methodologies for checking and maintaining in...
Henning Christiansen, Maria Rekouts
IJCAI
2007
15 years 7 months ago
Symmetric Component Caching
Caching, symmetries, and search with decomposition are powerful techniques for pruning the search space of constraint problems. In this paper we present an innovative way of effi...
Matthew Kitching, Fahiem Bacchus