Sciweavers

775 search results - page 115 / 155
» Map Labeling and Its Generalizations
Sort
View
CHI
2005
ACM
14 years 9 months ago
Improving orchestral conducting systems in public spaces: examining the temporal characteristics and conceptual models of conduc
Designing interactive conducting exhibits for public spaces poses unique challenges, primarily because the conceptual model of conducting music varies amongst users. In a user stu...
Eric Lee, Marius Wolf, Jan Borchers
ERSHOV
2009
Springer
14 years 3 months ago
Symbolic Bounded Conformance Checking of Model Programs
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
Margus Veanes, Nikolaj Bjørner
MM
2009
ACM
118views Multimedia» more  MM 2009»
14 years 3 months ago
Vocabulary-based hashing for image search
This paper proposes a hash function family based on feature vocabularies and investigates the application in building indexes for image search. Each hash function is associated wi...
Yingyu Liang, Jianmin Li, Bo Zhang
HICSS
2008
IEEE
134views Biometrics» more  HICSS 2008»
14 years 3 months ago
Simplified Use Case Driven Approach (SUCADA) for Conversion of Legacy System to COTS Package
The conversion of a legacy system to a system based on a commercial-off-the-shelf (COTS) package demands a dedicated guidance. The assumption that it is just a matter of adopting ...
Jose D. Montero, YongSeog Kim, Jeff Johnson
ICPR
2008
IEEE
14 years 3 months ago
Vector valued regression for iron overload estimation
In this work we present and discuss in detail a novel vector-valued regression technique: our approach allows for an all-at-once estimation, as opposed to solve a number of scalar...
Luca Baldassarre, Annalisa Barla, Barbara Gianesin...