Sciweavers

3510 search results - page 82 / 702
» Searching with numbers
Sort
View
PRICAI
2004
Springer
15 years 11 months ago
Power of Brute-Force Search in Strongly-Typed Inductive Functional Programming Automation
Abstract. A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the i...
Susumu Katayama
COCO
2001
Springer
107views Algorithms» more  COCO 2001»
15 years 11 months ago
In Search of an Easy Witness: Exponential Time vs. Probabilistic Polynomial Time
Restricting the search space {0, 1}n to the set of truth tables of “easy” Boolean functions on log n variables, as well as using some known hardness-randomness tradeoffs, we ...
Russell Impagliazzo, Valentine Kabanets, Avi Wigde...
ECSQARU
2001
Springer
15 years 11 months ago
The Search of Causal Orderings: A Short Cut for Learning Belief Networks
Abstract. Although we can build a belief network starting from any ordering of its variables, its structure depends heavily on the ordering being selected: the topology of the netw...
Silvia Acid, Luis M. de Campos, Juan F. Huete
NLPRS
2001
Springer
15 years 10 months ago
Automatically Harvesting Katakana-English Term Pairs from Search Engine Query Logs
This paper describes a method of extracting katakana words and phrases, along with their English counterparts from non-aligned monolingual web search engine query logs. The method...
Eric Brill, Gary Kacmarcik, Chris Brockett
CHI
1999
ACM
15 years 10 months ago
Eye Tracking the Visual Search of Click-Down Menus
Click-down (or pull-down) menus have long been a key component of graphical user interfaces, yet we know surprisingly little about how users actually interact with such menus. Nil...
Michael D. Byrne, John R. Anderson, Scott Douglass...