3174 search results - page 153 / 635 » An Exploration of the Permanent-Determinant Method |
178
click to vote
ICML
2000
IEEE
16 years 7 months ago
2000
IEEE
Decision-theoretic reasoning and planning algorithms are increasingly being used for mobile robot navigation, due to the signi cant uncertainty accompanying the robots' perce...
199
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
In this paper, we present a method for predictive modeling of anatomic structures using canonical correlation analysis (CCA). Using this technique, certain anatomical structures, ...
166
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
In this Special Interest Group (SIG) the attendees will discuss methods for capturing usability data over time. Specifically, we will share industry best practices, brainstorm alt...
126
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
The evaluation of grammar inference systems is clearly a non-trivial task, as it is possible to have more than one correct grammar for a given language. The `looks good to me'...
175
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
The paper explores several ways to improve the speed and capacity of combinational equivalence checking based on Boolean satisfiability (SAT). State-of-the-art methods use simulat...