3951 search results - page 388 / 791 » Automatic amortized analysis |
185
click to vote
IJCV
2000
15 years 6 months ago
2000
Abstract. We describe a novel automatic technique for finding a dense correspondence between a pair of n-dimensional surfaces with arbitrary topologies. This method employs a diffe...
179
click to vote
IPL
2002
15 years 6 months ago
2002
We develop a formal semantics of sequence diagrams. The semantics is given in terms of our new temporal logic, named HDTL, which is designed to specify dynamically evolving system...
225
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Using graph theory, this paper investigates how a group of robots, endowed with local positioning (range and bearing from other robots), can be engaged in a leaderfollowing mis...
176
click to vote
SIGDIAL
2010
15 years 4 months ago
2010
We use automatically extracted acoustic features to detect speech which is generated under stress, achieving 76.24% accuracy with a binary logistic regression. Our data are task-o...
175
click to vote
ENTCS
2010
15 years 4 months ago
2010
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...