2819 search results - page 414 / 564 » Automatic Structures |
125
Voted
CHI
2006
ACM
2006
ACM
Quantifying interpersonal influence in face-to-face conversations based on visual attention patterns
16 years 2 months ago
A novel measure for automatically quantifying the amount of interpersonal influence present in face-toface conversations is proposed based on the visualattention patterns of the p...
115
Voted
CHI
2005
ACM
16 years 2 months ago
2005
ACM
This paper presents X-PRT, a new cognitive modeling tool supporting activities ranging from interface design to basic cognitive research. X-PRT provides a graphical model developm...
130
Voted
VLSID
2003
IEEE
16 years 2 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
108
Voted
RECOMB
2006
Springer
16 years 2 months ago
2006
Springer
In this paper, we present CONTRAlign, an extensible and fully automatic framework for parameter learning and protein pairwise sequence alignment using pair conditional random field...
133
Voted
CADE
2008
Springer
16 years 2 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...