2123 search results - page 249 / 425 » The study of models of intelligent interfaces |
256
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
The quantity of email people receive each day can be overwhelming. Previous research suggests that when handling email, individuals prioritize certain messages for attention over ...
159
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
Decision-support requires the gathering and presentation of information, but is subject to many kinds of resource restrictions (e.g. cost, length, time). Individual users differ n...
161
click to vote
DSD
2008
IEEE
16 years 1 months ago
2008
IEEE
Systems on chip (SoC) have much in common with traditional (networked) distributed systems in that they consist of largely independent components with dedicated communication inte...
195
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
198
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
Personalized information agents can help overcome some of the limitations of communal Web information sources such as portals and search engines. Two important components of these...