1712 search results - page 246 / 343 » A Computational Approach to Binding Theory |
198
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: In Bayesian identification an ID source is in conflict with the other ID sources, if both provide substantially different, reliable information on a tracked object. After discuss...
151
click to vote
KDD
2004
ACM
16 years 6 months ago
2004
ACM
Most data mining algorithms require the setting of many input parameters. Two main dangers of working with parameter-laden algorithms are the following. First, incorrect settings ...
165
click to vote
SACMAT
2009
ACM
16 years 28 days ago
2009
ACM
We develop the foundations for a theory of Group-Centric Secure Information Sharing (g-SIS), characterize a specific family of models in this arena and identify several direction...
160
click to vote
GECCO
2007
Springer
16 years 17 days ago
2007
Springer
The Blob Code is a bijective tree code that represents each tree on n labelled vertices as a string of n − 2 vertex labels. In recent years, several researchers have deployed th...
196
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...