1702 search results - page 41 / 341 » Doomed program points |
120
click to vote
MP
2007
15 years 4 months ago
2007
The elastic-mode formulation of the problem of minimizing a nonlinear function subject to equilibrium constraints has appealing local properties in that, for a finite value of the...
165
click to vote
IPAS
2010
15 years 2 months ago
2010
In this paper, we consider facial expression recognition using an unsupervised learning framework. Specifically, given a data set composed of a number of facial images of the same...
137
click to vote
CAV
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
139
click to vote
CIDR
2011
14 years 8 months ago
2011
Distributed programming has become a topic of widespread interest, and many programmers now wrestle with tradeoffs between data consistency, availability and latency. Distributed...
139
click to vote
APL
2000
ACM
15 years 8 months ago
2000
ACM
Although classical object-oriented programming languages provide high-level modeling capacities t data type, inheritance etc.), they remain low-level when it comes to data manipul...