1547 search results - page 189 / 310 » The Isabelle Collections Framework |
95
Voted
PETRA
2010
ACM
15 years 29 days ago
2010
ACM
Acquisition of pervasive sensor data can be often unsuccessful due to power outage at nodes, time synchronization issues, interference, network transmission failures or sensor har...
114
Voted
GECCO
2010
Springer
15 years 28 days ago
2010
Springer
To complement standard fitness functions, we propose "Fitness Importance" (FI) as a novel meta-heuristic for online learning systems. We define FI and show how it can be...
88
Voted
CORR
2006
Springer
15 years 24 days ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
90
Voted
CSDA
2006
15 years 24 days ago
2006
The three-mode partitioning model is a clustering model for three-way three-mode data sets that implies a simultaneous partitioning of all three modes involved in the data. In the...
84
Voted
JBI
2008
15 years 22 days ago
2008
The term registry is widely used to refer to any database storing clinical information collected as a byproduct of patient care. Despite the use of this single characterizing term...