Sciweavers

3206 search results - page 453 / 642
» How minds can be computational systems
Sort
View
PERVASIVE
2007
Springer
16 years 11 days ago
Ambient Interfaces that Motivate Changes in Human Behavior
Peripheral or ambient displays move information from the periphery to the center of human attention and back. Our research group is interested in the interaction and interface des...
Jodi Forlizzi, Ian Li, Anind K. Dey
NDSS
2006
IEEE
16 years 8 days ago
Inoculating SSH Against Address Harvesting
Address harvesting is the act of searching a compromised host for the names and addresses of other targets to attack, such as occurs when an email virus locates target addresses f...
Stuart E. Schechter, Jaeyeon Jung, Will Stockwell,...
DAC
2006
ACM
16 years 6 days ago
Modeling and analysis of circuit performance of ballistic CNFET
With the advent of carbon nanotube technology, evaluating circuit and system performance using these devices is becoming extremely important. In this paper, we propose a quasi-ana...
Bipul C. Paul, Shinobu Fujita, Masaki Okajima, Tho...
AIED
2005
Springer
15 years 11 months ago
Assessing and Scaffolding Collaborative Learning in Online Discussions
: In this paper we present two computational approaches that can be used characterize and measure online threaded discussions and demonstrate that they can objectively validate stu...
Erin Shaw
TACAS
2005
Springer
120views Algorithms» more  TACAS 2005»
15 years 11 months ago
Symbolic Test Selection Based on Approximate Analysis
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu,...