3828 search results - page 650 / 766 » Proof-Based System Engineering Using a Virtual System Model |
150
click to vote
AIHC
2007
Springer
15 years 8 months ago
2007
Springer
Enabling machines to understand emotions and feelings of the human users in their natural language textual input during interaction is a challenging issue in Human Computing. Our w...
124
click to vote
CGO
2010
IEEE
15 years 7 months ago
2010
IEEE
Feedback-directed optimization (FDO) is effective in improving application runtime performance, but has not been widely adopted due to the tedious dual-compilation model, the difï...
145
Voted
MICRO
2010
IEEE
15 years 27 days ago
2010
IEEE
SARC merges cache controller and network interface functions by relying on a single hardware primitive: each access checks the tag and the state of the addressed line for possible...
129
click to vote
ACMDIS
2006
ACM
15 years 8 months ago
2006
ACM
Human-Computer Interaction (HCI) is defined by the Association for Computing Machinery (ACM) Special Interest Group on Computer-Human Interaction (SIGCHI) as “a discipline conce...
135
click to vote
HT
1997
ACM
15 years 6 months ago
1997
ACM
Hypermedia concepts are currently being deployed in a variety of information systems such as the World Wide Web, software development environments, large engineering enterprises, ...