Sciweavers

3239 search results - page 337 / 648
» A Logical Process Calculus
Sort
View
CHI
2010
ACM
15 years 9 months ago
FrameWire: a tool for automatically extracting interaction logic from paper prototyping tests
Paper prototyping offers unique affordances for interface design. However, due to its spontaneous nature and the limitations of paper, it is difficult to distill and communicate a...
Yang Li, Xiang Cao, Katherine Everitt, Morgan Dixo...
132
Voted
CORR
2008
Springer
116views Education» more  CORR 2008»
15 years 4 months ago
An Evidential Path Logic for Multi-Relational Networks
Multi-relational networks are used extensively to structure knowledge. Perhaps the most popular instance, due to the widespread adoption of the Semantic Web, is the Resource Descr...
Marko A. Rodriguez, Joe Geldart
INLG
2010
Springer
15 years 2 months ago
Grouping Axioms for More Coherent Ontology Descriptions
Ontologies and datasets for the Semantic Web are encoded in OWL formalisms that are not easily comprehended by people. To make ontologies accessible to human domain experts, sever...
Sandra Williams, Richard Power
ICIP
2009
IEEE
15 years 2 months ago
Wavelet based fuzzy perceptual mask for images
One of the characteristics of the Human Visual System (HVS) is to model the sensitivity of the human eye at each coordinate location in the image. This paper explores the use of fu...
Mukesh C. Motwani, Rakhi C. Motwani, Frederick C. ...
FQAS
2004
Springer
104views Database» more  FQAS 2004»
15 years 9 months ago
Logic-Based Integration of Query Answering and Knowledge Discovery
Abstract. There is currently great interest in integrating knowledge discovery research into mainstream database systems. Such an enterprise is nontrivial because knowledge discove...
Marcelo A. T. Aragão, Alvaro A. A. Fernande...