2863 search results - page 391 / 573 » Computer modelling and natural phenomena |
139
click to vote
ASM
2010
ASM
16 years 1 months ago
2010
ASM
Identifying a minimal unsatisfiable core in an Alloy model proved to be a very useful feature in many scenarios. We extend this concept to hot core, an approximation to unsat core...
171
click to vote
PERCOM
2009
ACM
16 years 1 months ago
2009
ACM
Abstract—In this paper, we consider privacy challenges in eventdriven pervasive spaces where multimedia streams captured by sensors embedded in the infrastructure are used to det...
140
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Acoustic anger detection in voice portals can help to enhance human computer interaction. A comprehensive voice portal data collection has been carried out and gives new insight o...
125
click to vote
ICRA
2007
IEEE
16 years 28 days ago
2007
IEEE
—In this paper we propose the progressive clamping method to better model the kinematic anisotropy of joint limits for virtual mannequins or robots. Like recent approaches our me...
200
click to vote
ISPDC
2007
IEEE
16 years 27 days ago
2007
IEEE
Scheduling divisible loads in distributed systems is the subject of Divisible Load Theory (DLT). In this paper we show that coalitional game theory is a natural fit for modeling ...