Sciweavers

2681 search results - page 310 / 537
» Problem F
Sort
View
PLDI
2009
ACM
16 years 7 months ago
A decision procedure for subset constraints over regular languages
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
Pieter Hooimeijer, Westley Weimer
KDD
2009
ACM
202views Data Mining» more  KDD 2009»
16 years 7 months ago
Correlated itemset mining in ROC space: a constraint programming approach
Correlated or discriminative pattern mining is concerned with finding the highest scoring patterns w.r.t. a correlation measure (such as information gain). By reinterpreting corre...
Siegfried Nijssen, Tias Guns, Luc De Raedt
CHI
2005
ACM
16 years 7 months ago
AIS SIGHCI position paper
The upcoming ACM SIGCHI Development Consortium is aimed at meeting the needs of multidisciplinary professionals that must choose among a variety of professional associations and t...
Dennis F. Galletta, Fiona Fui-Hoon Nah, Ping Zhang...
CHI
2005
ACM
16 years 7 months ago
What's in your wallet?: implications for global e-wallet design
As part of a comparative ethnographic study of everyday life of young professionals in London, Los Angeles, and Tokyo, we conducted a detailed survey of wallets and their contents...
Scott D. Mainwaring, Ken Anderson, Michele F. Chan...
PODS
2007
ACM
104views Database» more  PODS 2007»
16 years 6 months ago
XML transformation by tree-walking transducers with invisible pebbles
The pebble tree automaton and the pebble tree transducer are enhanced by additionally allowing an unbounded number of `invisible' pebbles (as opposed to the usual `visible�...
Joost Engelfriet, Hendrik Jan Hoogeboom, Bart Samw...