4167 search results - page 581 / 834 » Regression model checking |
155
click to vote
TOG
2012
13 years 6 months ago
2012
This paper investigates “Schelling points” on 3D meshes, feature points selected by people in a pure coordination game due to their salience. To collect data for this investig...
170
click to vote
PAMI
2012
13 years 6 months ago
2012
—Modeling data with linear combinations of a few elements from a learned dictionary has been the focus of much recent research in machine learning, neuroscience, and signal proce...
140
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...
117
Voted
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
The paper presents a novel approach based on Bogor for the accurate verification of applications based on PublishSubscribe infrastructures. Previous efforts adopted standard model...
145
click to vote
ICS
2010
Tsinghua U.
16 years 1 months ago
2010
Tsinghua U.
We consider Fisher and Arrow-Debreu markets under additively-separable, piecewise-linear, concave utility functions, and obtain the following results: ? For both market models, if...