308 search results - page 51 / 62 » A toolkit for a generative lexicon |
76
Voted
ICCAD
2008
IEEE
15 years 8 months ago
2008
IEEE
— This paper presents a method for correct-by-construction microarchitectural pipelining that handles cyclic systems with dependencies between iterations. Our method combines pre...
CHI
2010
ACM
15 years 5 months ago
2010
ACM
Interest has been growing within HCI on the use of machine learning and reasoning in applications to classify such hidden states as user intentions, based on observations. HCI res...
DSN
2008
IEEE
15 years 5 months ago
2008
IEEE
This research investigates the automation of security assessment of the static and dynamic properties of cyberinfrastructures, with emphasis on the electrical power grid. We descr...
105
Voted
WCRE
2008
IEEE
15 years 5 months ago
2008
IEEE
CAPTCHAs are automated Turing tests used to determine if the end-user is human and not an automated program. Users are asked to read and answer Visual CAPTCHAs, which often appear...
ICPADS
2007
IEEE
15 years 5 months ago
2007
IEEE
Grid technologies are emerging as the next generation of distributed computing, allowing the aggregation of resources that are geographically distributed across different location...