1054 search results - page 173 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
146
click to vote
SIGSOFT
2000
ACM
15 years 8 months ago
2000
ACM
Although software reuse can improve both the quality and productivity of software development, it will not do so until software developers stop believing that it is not worth thei...
154
click to vote
ICLP
1999
Springer
15 years 8 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
117
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Our ability to express and accurately assess emotional states is central to human life. The present study examines how people express and detect emotions during text-based communi...
123
click to vote
INTERACT
2007
15 years 5 months ago
2007
This paper describes a novel browsing paradigm, taking benefit of the various types of links (e.g. thematic, temporal, references, etc.) that can be automatically built between mul...
185
click to vote
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
Attributes are visual concepts that can be detected by machines, understood by humans, and shared across categories. They are particularly useful for fine-grained domains where c...