Sciweavers

5595 search results - page 1003 / 1119
» Visualizing the shadows of Information
Sort
View
CODES
2008
IEEE
15 years 8 months ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner
CSCW
2008
ACM
15 years 8 months ago
Pushing relevant artifact annotations in collaborative software development
Recent techniques show the benefits of attaching communitygenerated knowledge to artifacts in an information space and presenting it to subsequent readers. We argue that such know...
Uri Dekel, James D. Herbsleb
FSKD
2007
Springer
157views Fuzzy Logic» more  FSKD 2007»
15 years 8 months ago
Semantics-Based Art Image Retrieval Using Linguistic Variable
More and more digitized art images are accumulated and expanded in our daily life and techniques need to be established on how to organize and retrieval them. Though content-based...
Qingyong Li, Siwei Luo, Zhongzhi Shi
HT
2007
ACM
15 years 8 months ago
Revealing the hidden rationality of user browsing behaviour
In this paper, we analyse web log data from user trials of the WHURLE-LS adaptive educational hypermedia (AEH) system from a behavioural perspective. This system allows users to s...
Elizabeth J. Brown, Tim J. Brailsford, Tony Fisher...
ECAI
2008
Springer
15 years 8 months ago
Learning to Select Object Recognition Methods for Autonomous Mobile Robots
Selecting which algorithms should be used by a mobile robot computer vision system is a decision that is usually made a priori by the system developer, based on past experience and...
Reinaldo A. C. Bianchi, Arnau Ramisa, Ramon L&oacu...
« Prev « First page 1003 / 1119 Last » Next »