AMI
2013
Springer
11 years 27 days ago
2013
Springer
Abstract. Developing ambient intelligence for a smart home is a complex task. We present how to define intelligent system behavior through s on an adequate level of abstraction wi...
264
click to vote
AIPS
2013
11 years 27 days ago
2013
Sequence optimization is an important problem in many production automation scenarios involving industrial robots. Mostly, this is done by reducing it to Traveling Salesman Proble...
238
click to vote
ACMSE
2013
ACM
11 years 27 days ago
2013
ACM
Researchers have recently defined and presented the theoretical concepts and an algorithm necessary for mining so-called probabilistic frequent itemsets in uncertain databases—...
ACII
2013
Springer
11 years 27 days ago
2013
Springer
—Empathy can be defined as the ability to perceive and understand others’ emotional states. Neuropsychological evidence has shown that humans empathize with each other to diff...
VMCAI
2014
Springer
11 years 27 days ago
2014
Springer
Abstract. Automatic synthesis of hardware components from declarative specifications is an ambitious endeavor in computer aided design. Existing synthesis algorithms are often imp...
310
click to vote
VEE
2014
ACM
11 years 27 days ago
2014
ACM
Abstractions Galen Hunt Principal Researcher Microsoft Research Operating Systems Group 1
SODA
2014
ACM
11 years 27 days ago
2014
ACM
148
click to vote
SFP
2014
11 years 27 days ago
2014
Methods for mathematically basic and precise description of system behavior at discrete interfaces have been developed by David Parnas and his groups and collaborators over many ye...