Sciweavers

240 search results - page 26 / 48
» The Past, Present and Future of Smalltalk
Sort
View
ISIPTA
2005
IEEE
162views Mathematics» more  ISIPTA 2005»
14 years 11 days ago
Learning from multinomial data: a nonparametric predictive alternative to the Imprecise Dirichlet Model
A new model for learning from multinomial data has recently been developed, giving predictive inferences in the form of lower and upper probabilities for a future observation. Apa...
Frank P. A. Coolen, Thomas Augustin
POLICY
2005
Springer
14 years 8 days ago
Obligation Policies: An Enforcement Platform
The use of policy-based mechanisms significantly reduces the complexity associated with applicational development and operation. In particular, history-based policies allow the s...
Pedro Gama, Paulo Ferreira
FM
2003
Springer
174views Formal Methods» more  FM 2003»
13 years 12 months ago
Model-Checking TRIO Specifications in SPIN
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
Angelo Morzenti, Matteo Pradella, Pierluigi San Pi...
CIVR
2006
Springer
186views Image Analysis» more  CIVR 2006»
13 years 10 months ago
Leveraging Active Learning for Relevance Feedback Using an Information Theoretic Diversity Measure
Abstract. Interactively learning from a small sample of unlabeled examples is an enormously challenging task. Relevance feedback and more recently active learning are two standard ...
Charlie K. Dagli, ShyamSundar Rajaram, Thomas S. H...
WSC
2008
13 years 9 months ago
A plug-in-based architecture for random number generation in simulation systems
Simulations often depend heavily on random numbers, yet the impact of random number generators is recognized seldom. The generation of random numbers for simulations is not trivia...
Roland Ewald, Johannes Rossel, Jan Himmelspach, Ad...