Sciweavers

4074 search results - page 190 / 815
» Defining Computational Aesthetics
Sort
View
99
Voted
EUROCAST
2009
Springer
153views Hardware» more  EUROCAST 2009»
14 years 10 months ago
Algorithm for Testing the Leibniz Algebra Structure
Abstract. Given a basis of a vector space V over a field K and a multiplication table which defines a bilinear map on V , we develop a computer program on Mathematica which checks ...
José Manuel Casas, Manuel A. Insua, Manuel ...
115
Voted
EXACT
2009
14 years 10 months ago
Some Properties of Most Relevant Explanation
This paper provides a study of the theoretical properties of Most Relevant Explanation (MRE) [12]. The study shows that MRE defines an implicit soft relevance measure that enables ...
Changhe Yuan
99
Voted
ICCV
2009
IEEE
14 years 10 months ago
Active segmentation with fixation
The human visual system observes and understands a scene/image by making a series of fixations. Every "fixation point" lies inside a particular region of arbitrary shape...
Ajay K. Mishra, Yiannis Aloimonos, Loong Fah Cheon...
FUIN
2010
163views more  FUIN 2010»
14 years 10 months ago
Equational Reasoning on Mobile Ad Hoc Networks
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar
107
Voted
BALT
2010
14 years 7 months ago
Interoperability Services for Models and Ontologies
Model-based approaches in the UML/MOF technological space and ontology-based approaches in the OWL technological space both support conceptual modeling using different kinds of rep...
Jürgen Ebert, Tobias Walter