5634 search results - page 406 / 1127 » About Abstract Classes |
161
click to vote
EWC
2002
15 years 6 months ago
2002
An object-oriented (OO) framework for Partial tial Equations (PDEs) provides software abstractions for numerical simulation of PDEs. The design of such frameworks is not trivial, a...
154
click to vote
SLOGICA
2002
15 years 6 months ago
2002
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...
162
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper introduces the RoboCast communication abstraction. The RoboCast allows a swarm of non oblivious, anonymous robots that are only endowed with visibility sensors...
158
click to vote
COLT
2010
Springer
15 years 4 months ago
2010
Springer
Clustering is a central unsupervised learning task with a wide variety of applications. Not surprisingly, there exist many clustering algorithms. However, unlike classification ta...
188
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...