15727 search results - page 2827 / 3146 » Software Engineering - Introduction |
150
click to vote
IUI
2012
ACM
14 years 12 days ago
2012
ACM
The style in which a robot moves, expressed through its gait or locomotion, can convey effective messages to people. For example, a robot could move aggressively in reaction to a ...
169
click to vote
IUI
2012
ACM
14 years 12 days ago
2012
ACM
In the digital age, users can have perfect recall of their digital experiences. In this paper, we explore how this recall can be leveraged during web browsing. We have built a sys...
268
click to vote
TASE
2012
IEEE
14 years 12 days ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
173
click to vote
VMCAI
2012
Springer
14 years 12 days ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...
225
click to vote
PAMI
2012
13 years 7 months ago
2012
— Over the last century, Component Analysis (CA) methods such as Principal Component Analysis (PCA), Linear Discriminant Analysis (LDA), Canonical Correlation Analysis (CCA), Lap...