5022 search results - page 285 / 1005 » Data structures and problem solving using Java |
136
Voted
CADE
2008
Springer
16 years 3 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...
128
click to vote
CVPR
2000
IEEE
16 years 5 months ago
2000
IEEE
In this work, we approach the classic Mumford-Shah problem from a curve evolution perspective. In particular, we let a given family of curves define the boundaries between regions...
157
click to vote
TIP
2002
15 years 2 months ago
2002
An unsupervised classification algorithm is derived by modeling observed data as a mixture of several mutually exclusive classes that are each described by linear combinations of i...
165
click to vote
TACAS
2012
Springer
13 years 10 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
240
click to vote
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
This tutorial presents an overview of the data management issues faced by computer games today. While many games do not use databases directly, they still have to process large am...