Sciweavers

4897 search results - page 487 / 980
» Trust Modeling for Peer-to-Peer Based Computing Systems
Sort
View
FM
2008
Springer
152views Formal Methods» more  FM 2008»
15 years 8 months ago
Constraint Prioritization for Efficient Analysis of Declarative Models
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
Engin Uzuncaova, Sarfraz Khurshid
ICPR
2004
IEEE
16 years 8 months ago
Rejection Strategies for Offline Handwritten Sentence Recognition
This paper investigates three different rejection strategies for offline handwritten sentence recognition. The rejection strategies are implemented as a postprocessing step of a H...
Horst Bunke, Matthias Zimmermann, Roman Bertolami
ATAL
2004
Springer
16 years 8 days ago
Social Judgment in Multiagent Interactions
Social judgment is a process of social explanation whereby one identifies which entities deserve credit or blame for multiagent activities. Such explanations are a key aspect of i...
Wenji Mao, Jonathan Gratch
CCE
2005
15 years 6 months ago
Model-based computer-aided design for controlled release of pesticides
In the field of controlled release technology for pesticides or active ingredients (AI), models that can predict its delivery during application are important for purposes of desi...
Núria Muro-Suñé, Rafiqul Gani...
ICS
1993
Tsinghua U.
15 years 11 months ago
Dynamic Control of Performance Monitoring on Large Scale Parallel Systems
Performance monitoring of large scale parallel computers creates a dilemma: we need to collect detailed information to find performance bottlenecks, yet collecting all this data ...
Jeffrey K. Hollingsworth, Barton P. Miller