Sciweavers

748 search results - page 124 / 150
» Mechanism design for abstract argumentation
Sort
View
MVA
2006
205views Computer Vision» more  MVA 2006»
13 years 10 months ago
Ontological inference for image and video analysis
Abstract This paper presents an approach to designing and implementing extensible computational models for perceiving systems based on a knowledge-driven joint inference approach. ...
Christopher Town
NJC
2006
86views more  NJC 2006»
13 years 10 months ago
Structured Formal Development in Isabelle
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
Maksym Bortin, Einar Broch Johnsen, Christoph L&uu...
TFS
2008
230views more  TFS 2008»
13 years 10 months ago
SGERD: A Steady-State Genetic Algorithm for Extracting Fuzzy Classification Rules From Data
Abstract--This paper considers the automatic design of fuzzyrule-based classification systems from labeled data. The performance of classifiers and the interpretability of generate...
Eghbal G. Mansoori, Mansoor J. Zolghadri, Seraj D....
TIP
2008
124views more  TIP 2008»
13 years 10 months ago
GAFFE: A Gaze-Attentive Fixation Finding Engine
Abstract-- The ability to automatically detect visually interesting regions in images has many practical applications, especially in the design of active machine vision and automat...
Umesh Rajashekar, Ian van der Linde, Alan C. Bovik...
TISSEC
2008
202views more  TISSEC 2008»
13 years 10 months ago
A Framework for Identifying Compromised Nodes in Wireless Sensor Networks
compromised sensor nodes. The framework provides an appropriate abstraction of applicationspecific detection mechanisms and models the unique properties of sensor networks. Based o...
Qing Zhang, Ting Yu, Peng Ning