Sciweavers

3708 search results - page 373 / 742
» The Inverse Classification Problem
Sort
View
DAGSTUHL
2006
15 years 8 months ago
New Algebraic Tools for Constraint Satisfaction
Abstract. The Galois connection involving polymorphisms and coclones has received a lot of attention in regard to constraint satisfaction problems. However, it fails if we are inte...
Henning Schnoor, Ilka Schnoor
INTERACT
2003
15 years 8 months ago
Pattern Languages in Interaction Design
: Now that individual patterns for Interaction Design have started to appear, the issue of structuring collections of patterns into Pattern Languages becomes relevant, both from a ...
Martijn van Welie, Gerrit C. van der Veer
CSL
2010
Springer
15 years 8 months ago
The Complexity of Positive First-Order Logic without Equality II: The Four-Element Case
We study the complexity of evaluating positive equality-free sentences of first-order (FO) logic over fixed, finite structures B. This may be seen as a natural generalisation of th...
Barnaby Martin, Jos Martin
WWW
2007
ACM
16 years 7 months ago
Determining the user intent of web search engine queries
Determining the user intent of Web searches is a difficult problem due to the sparse data available concerning the searcher. In this paper, we examine a method to determine the us...
Bernard J. Jansen, Danielle L. Booth, Amanda Spink
CCS
2007
ACM
16 years 1 months ago
Defining categories to select representative attack test-cases
To ameliorate the quality of protection provided by intrusion detection systems (IDS) we strongly need more effective evaluation and testing procedures. Evaluating an IDS against ...
Mohammed S. Gadelrab, Anas Abou El Kalam, Yves Des...