Sciweavers

4074 search results - page 190 / 815
» Defining Computational Aesthetics
Sort
View
EUROCAST
2009
Springer
153views Hardware» more  EUROCAST 2009»
13 years 8 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 ...
EXACT
2009
13 years 8 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
ICCV
2009
IEEE
13 years 8 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»
13 years 8 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
BALT
2010
13 years 5 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