1529 search results - page 257 / 306 » On Timing Analysis of Combinational Circuits |
176
click to vote
ICMI
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we present a novel approach for tracking a lecturer during the course of his speech. We use features from multiple cameras and microphones, and process them in a jo...
142
click to vote
VMCAI
2005
Springer
15 years 11 months ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
141
click to vote
WEBI
2005
Springer
15 years 11 months ago
2005
Springer
For the evaluation of web sites a multitude of metrics are available. Apart from general statistical measures, success metrics reflect the degree to which a web site achieves its...
150
click to vote
ARGMAS
2004
Springer
15 years 11 months ago
2004
Springer
Argumentation-based negotiation (ABN) is an effective means of resolving conflicts in a multi-agent society. However, it consumes both time and computational resources for agents ...
126
click to vote
COLT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We show several PAC-style concentration bounds for learning unigrams language model. One interesting quantity is the probability of all words appearing exactly k times in...