4856 search results - page 284 / 972 » Concept formation in design |
200
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
RFID systems as a whole are often treated with suspicion, but the input data received from individual RFID tags is implicitly trusted. RFID attacks are currently conceived as prop...
167
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
This paper focuses on whether learners of basic music theory may find a multiple-media independent open learner model useful to explore their knowledge of harmony concepts. Learner...
162
click to vote
ICCV
2007
IEEE
16 years 29 days ago
2007
IEEE
Numerical multilinear (tensor) algebra is a principled mathematical approach to disentangling and explicitly and parsimoniously representing the essential factors or modes of imag...
186
click to vote
TPHOL
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
156
click to vote
CALCO
2007
Springer
16 years 24 days ago
2007
Springer
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatype...