4810 search results - page 404 / 962 » Modeling Value Speculation |
160
click to vote
ICTAI
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we present a new approach for curve clustering designed for analysis of spatiotemporal data. Such kind of data contains both spatial and temporal patterns that we de...
213
click to vote
HASKELL
2005
ACM
16 years 11 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
170
click to vote
ICDM
2003
IEEE
16 years 3 days ago
2003
IEEE
In this paper we present the Relational Bayesian Classifier (RBC), a modification of the Simple Bayesian Classifier (SBC) for relational data. There exist several Bayesian classif...
164
click to vote
METRICS
2003
IEEE
16 years 2 days ago
2003
IEEE
Predicting stability in object-oriented (OO) software, i.e., the ease with which a software item evolves while preserving its design, is a key feature for software maintenance. In...
218
click to vote
MSWIM
2003
ACM
16 years 2 days ago
2003
ACM
Mobile Ad-Hoc Networks (MANETS) are networks of mobile nodes that do not have a fixed infrastructure. Recent research in this field addresses ways of solving existing problems i...