1108 search results - page 198 / 222 » Making sense of sensemaking |
WADT
2004
Springer
14 years 29 days ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
SIGCSE
2010
ACM
14 years 28 days ago
2010
ACM
Inspired by the formal code inspection process commonly used in the software industry, we have been exploring the use of pedagogical code reviews (PCRs), in which a team of three ...
HICSS
2003
IEEE
14 years 28 days ago
2003
IEEE
The industrial districts are characterized by the agglomeration of medium and small-sized industries, localized within a certain geographic area with precise social and cultural c...
ISMAR
2003
IEEE
14 years 27 days ago
2003
IEEE
A useful function of augmented reality (AR) systems is their ability to visualize occluded infrastructure directly in a user’s view of the environment. This is especially import...
ELPUB
2003
ACM
14 years 27 days ago
2003
ACM
Electronic publishing constitutes one of the most exciting themes nowadays, amongst academics, at least, though substantial effects of IT usage for communication purposes in other...