Sciweavers

3299 search results - page 102 / 660
» A general mathematics of names
Sort
View
IWPC
2009
IEEE
16 years 29 days ago
Intensions are a key to program comprehension
The classical comprehension theories study relations between extensions, intensions, and names. Originally developed in linguistics and mathematics, these theories are applicable ...
Václav Rajlich
CALCO
2007
Springer
89views Mathematics» more  CALCO 2007»
16 years 15 days ago
Structured Co-spans: An Algebra of Interaction Protocols
Abstract. We extend the theory of (co-)spans as a means of providing an algebraic approach to complex interactions as they arise in software-intensive systems. In order to make int...
José Luiz Fiadeiro, Vincent Schmitt
ICB
2007
Springer
104views Biometrics» more  ICB 2007»
16 years 14 days ago
Selection of Distinguish Points for Class Distribution Preserving Transform for Biometric Template Protection
This paper addresses the biometric template security issue. Follow out previous work on class distribution transform, the proposed scheme selects the distinguish points automatical...
Yi C. Feng, Pong C. Yuen
PPAM
2007
Springer
16 years 13 days ago
Cloth Simulation in the SILC Matrix Computation Framework: A Case Study
This paper presents a case study of numerical simulations in an easy-to-use matrix computation framework named Simple Interface for Library Collections (SILC), which allows users t...
Tamito Kajiyama, Akira Nukada, Reiji Suda, Hidehik...
IV
2006
IEEE
95views Visualization» more  IV 2006»
16 years 10 days ago
A Pragmatic and Musically Pleasing Production System for Sonic Events
We describe a novel application for sonic events namely their generation via mathematical functions implemented on a universal all purpose Java platform. Their design is driven by...
Marc Conrad, Tim French, Marcia Gibson