8486 search results - page 260 / 1698 » Ordered Enumeration Method |
120
click to vote
TYPES
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...
116
click to vote
ICML
2006
IEEE
16 years 5 months ago
2006
IEEE
We experimentally study on-line investment algorithms first proposed by Agarwal and Hazan and extended by Hazan et al. which achieve almost the same wealth as the best constant-re...
125
click to vote
CHI
2009
ACM
16 years 4 months ago
2009
ACM
A key challenge for mixed-initiative systems is to create a shared understanding of the task between human and agent. To address this challenge, we created a mixed-initiative inte...
134
click to vote
ICCAD
2007
IEEE
16 years 1 months ago
2007
IEEE
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
125
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—A text filtering system monitors a stream of incoming documents, to identify those that match the interest profiles of its users. The user interests are registered at ...