Sciweavers

1420 search results - page 200 / 284
» Decision Making Using Probabilistic Inference Methods
Sort
View
GECCO
2009
Springer
193views Optimization» more  GECCO 2009»
15 years 6 months ago
Optimization of dynamic memory managers for embedded systems using grammatical evolution
New portable consumer embedded devices must execute multimedia applications (e.g., 3D games, video players and signal processing software, etc.) that demand extensive memory acces...
José L. Risco-Martín, David Atienza,...
ICCAD
1996
IEEE
93views Hardware» more  ICCAD 1996»
15 years 6 months ago
VERILAT: verification using logic augmentation and transformations
This paper presents a new framework for formal logic verification. What is depicted here is fundamentally different from previous approaches. In earlier approaches, the circuit is ...
Dhiraj K. Pradhan, Debjyoti Paul, Mitrajit Chatter...
124
Voted
CIARP
2009
Springer
15 years 6 months ago
Particle Swarm Model Selection for Authorship Verification
Authorship verification is the task of determining whether documents were or were not written by a certain author. The problem has been faced by using binary classifiers, one per a...
Hugo Jair Escalante, Manuel Montes-y-Gómez,...
IPM
2007
99views more  IPM 2007»
15 years 2 months ago
Percent perfect performance (PPP)
An information retrieval performance measure that is interpreted as the percent of perfect performance (PPP) can be used to study the effects of the inclusion of specific documen...
Robert M. Losee
SADM
2010
196views more  SADM 2010»
14 years 9 months ago
Bayesian adaptive nearest neighbor
: The k nearest neighbor classification (k-NN) is a very simple and popular method for classification. However, it suffers from a major drawback, it assumes constant local class po...
Ruixin Guo, Sounak Chakraborty