Sciweavers

2714 search results - page 136 / 543
» On the Notion of Value Object
Sort
View
IWCIA
2004
Springer
15 years 11 months ago
Curves, Hypersurfaces, and Good Pairs of Adjacency Relations
In this paper we propose several equivalent definitions of digital curves and hypersurfaces in arbitrary dimension. The definitions involve properties such as one-dimensionality ...
Valentin E. Brimkov, Reinhard Klette
LICS
2000
IEEE
15 years 10 months ago
Complete Axioms for Categorical Fixed-Point Operators
We give an axiomatic treatment of fixed-point operators in categories. A notion of iteration operator is defined, embodying the equational properties of iteration theories. We p...
Alex K. Simpson, Gordon D. Plotkin
AUGHUMAN
2010
15 years 4 months ago
The Reading Glove: designing interactions for object-based tangible storytelling
In this paper we describe a prototype Tangible User Interface (TUI) for interactive storytelling that explores the semantic properties of tangible interactions using the fictional...
Joshua Tanenbaum, Karen Tanenbaum, Alissa Nicole A...
JMLR
2010
95views more  JMLR 2010»
15 years 1 months ago
Feature Extraction for Machine Learning: Logic-Probabilistic Approach
The paper analyzes peculiarities of preprocessing of learning data represented in object data bases constituted by multiple relational tables with ontology on top of it. Exactly s...
Vladimir Gorodetsky, Vladimir Samoilov
SAC
2010
ACM
15 years 1 months ago
Similar triangles and orientation in plane elementary geometry for Coq-based proofs
In plane elementary geometry, the concept of similar triangles not only forms an important foundation for trigonometry, but it also can be used to solve many geometric problems. T...
Tuan Minh Pham