4139 search results - page 572 / 828 » Designing and Implementing Combinator Languages |
138
click to vote
ACSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
IP blacklists are a spam filtering tool employed by a large number of email providers. Centrally maintained and well regarded, blacklists can filter 80+% of spam without having to...
136
click to vote
HCI
2009
15 years 2 months ago
2009
Task time is a measure of productivity in an interface. Keystroke Level Modeling (KLM) can predict experienced user task time to within 10 to 30% of actual times. One of the bigges...
188
click to vote
CADE
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
164
click to vote
MUC
1992
15 years 9 months ago
1992
The GE NLTooLsET is a set of text interpretation tools designed to be easily adapted to new domains. This report summarizes the system and its performance on the MUG-4 task . INTR...
180
click to vote
CL
2008
Springer
15 years 5 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...