Sciweavers

1153 search results - page 86 / 231
» The Complexity of Revision, Revised
Sort
View
TNN
2010
132views Management» more  TNN 2010»
14 years 4 months ago
IPADE: Iterative Prototype Adjustment for Nearest Neighbor Classification
Nearest prototype methods are a successful trend of many pattern classification tasks. However, they present several shortcomings such as time response, noise sensitivity, and Manu...
Isaac Triguero, Salvador García, Francisco ...
AAAI
1994
14 years 11 months ago
Incremental Recompilation of Knowledge
d Abstract) Goran Gogic l, Christos H. Papadimitriou', and Martha Sideri2 : Approximating a general formula from above and below by Horn formulas (its Horn envelope and Horn c...
Goran Gogic, Christos H. Papadimitriou, Martha Sid...
CHI
2007
ACM
15 years 10 months ago
A minimal model for predicting visual search in human-computer interaction
Visual search is an important part of human-computer interaction. It is critical that we build theory about how people visually search displays in order to better support the user...
Tim Halverson, Anthony J. Hornof
HICSS
2009
IEEE
151views Biometrics» more  HICSS 2009»
15 years 4 months ago
Application of Logic and Decision Models in Sustainable Ecosystem Management
The Northern Region of the USDA Forest Service is using the Ecosystem Management Decision Support System (EMDS) to evaluate ecosystem sustainability for National Forest plan revis...
Mark Jensen, Keith Reynolds, Ute Langner, Melissa ...
CSFW
2006
IEEE
15 years 4 months ago
Resolve-Impossibility for a Contract-Signing Protocol
Abstract. A multi-party contract signing protocol allows a set of participants to exchange messages with each other with a view to arriving in a state in which each of them has a p...
Aybek Mukhamedov, Mark Dermot Ryan