5672 search results - page 910 / 1135 » Design techniques for low-power systems |
170
click to vote
MM
2005
ACM
16 years 4 days ago
2005
ACM
In this paper, we focus on the use of context-aware, collaborative filtering, machine-learning techniques that leverage automatically sensed and inferred contextual metadata toget...
185
click to vote
AOSE
2005
Springer
16 years 4 days ago
2005
Springer
Many approaches and tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program co...
197
click to vote
ESOP
2005
Springer
16 years 3 days ago
2005
Springer
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...
165
click to vote
IVA
2005
Springer
16 years 2 days ago
2005
Springer
Human to virtual human interaction is the next frontier in interface design, particularly for tasks that are social or collaborative in nature. Several embodied interface agents ha...
195
click to vote
LPAR
2005
Springer
16 years 2 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...