3229 search results - page 523 / 646 » The Theory of Timed Automata |
112
click to vote
IADIS
2004
15 years 7 months ago
2004
The authors have been actively engaged in E-learning starting in 1996, at the College of Staten Island, CUNY, a public university in New York City, New York, U.S.A. and Shanghai T...
144
click to vote
NIPS
2001
15 years 7 months ago
2001
To find out how the representations of structured visual objects depend on the co-occurrence statistics of their constituents, we exposed subjects to a set of composite images wit...
166
click to vote
UAI
2004
15 years 7 months ago
2004
In this paper, we present a Branch and Bound algorithm called QuickBB for computing the treewidth of an undirected graph. This algorithm performs a search in the space of perfect ...
151
click to vote
WSC
2001
15 years 7 months ago
2001
The purpose of this paper is to describe (a) why simulation is necessary to evaluate check-in, (b) a simulation toolbox for check-in counters and (c) Two case studies for Amsterda...
137
click to vote
NIPS
2003
15 years 7 months ago
2003
A major issue in evaluating speech enhancement and hearing compensation algorithms is to come up with a suitable metric that predicts intelligibility as judged by a human listener...