3082 search results - page 204 / 617 » Deviation Analysis: A New Use of Model Checking |
178
click to vote
PPDP
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we present a new type system for logic programs. Our system combines ideas of the classical polymorphic, but not very precise, system due to Mycroft and O'Keefe...
162
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
We performed an empirical study exploring people's interactions with an embodied conversational agent (ECA) while performing two tasks. Conditions varied with respect to 1) w...
152
click to vote
ICIP
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, a fast and robust multi-view lip localization algorithm in video is proposed. We consider lip localization as a binary classification problem, where a classifier is...
160
click to vote
CSDA
2007
15 years 6 months ago
2007
Previous research has shown that method two-way with error for multiple imputation in test and questionnaire data produces small bias in statistical analyses. This method is based...
184
click to vote
VLSID
2004
IEEE
16 years 6 months ago
2004
IEEE
Abstract--In this paper, we present a new approach to calculate the steady state resistance values for CMOS library gates. These resistances are defined as simple equivalent models...