4491 search results - page 351 / 899 » Algorithm Engineering |
128
Voted
IUI
2010
ACM
15 years 10 months ago
2010
ACM
Soft keyboards offer touch-capable mobile and tabletop devices many advantages such as multiple language support and space for larger graphical displays. On the other hand, becaus...
132
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Malware detectors require a specification of malicious behavior. Typically, these specifications are manually constructed by investigating known malware. We present an automatic t...
122
click to vote
TREC
2001
15 years 5 months ago
2001
We assess a family of ranking mechanisms for search engines based on linkage analysis using a carefully engineered subset of the World Wide Web, WT10g (Bailey, Craswell and Hawking...
131
Voted
VLSID
2009
IEEE
16 years 4 months ago
2009
IEEE
We present the automatic test pattern generator TIGUAN based on a thread-parallel SAT solver. Due to a tight integration of the SAT engine into the ATPG algorithm and a carefully ...
111
click to vote
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...