847 search results - page 114 / 170 » An Algebra for Features and Feature Composition |
CLEAR
2007
Springer
14 years 3 months ago
2007
Springer
This paper presents the person identification system developed at Athens Information Technology and its performance in the CLEAR 2007 evaluations. The system operates on the audiov...
ACSD
2006
IEEE
14 years 3 months ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...
CASSIS
2005
Springer
14 years 2 months ago
2005
Springer
System software for deeply embedded devices has to cope with a broad variety of requirements and platforms, but especially with strict resource constraints. To compete against prop...
APLAS
2003
ACM
14 years 2 months ago
2003
ACM
This paper introduces a Standard ML realization of the scrap-yourboilerplate generic-programming mechanism (first introduced by Simon Peyton Jones and Ralf Lämmel), which gives ...
INFOVIS
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper we present several extensions to the wellknown InfoViz technique of parallel coordinates, mainly concentrating on brushing and focus+context visualization. First, we...