7452 search results - page 1124 / 1491 » A Semantics for Multiprocessor Systems |
180
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
187
click to vote
ICPP
2008
IEEE
16 years 1 months ago
2008
IEEE
Crowd simulation can be considered as a special case of Virtual Environments where avatars are intelligent agents instead of user-driven entities. These applications require both ...
175
click to vote
RSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
234
click to vote
AH
2008
Springer
16 years 1 months ago
2008
Springer
User Modelling is the core component for the majority of personalisation systems. By keeping a model for every user, a system can successfully personalise its content and utilise a...
174
click to vote
ICDM
2007
IEEE
16 years 1 months ago
2007
IEEE
Diagnostic decision-making in pulmonary medical imaging has been improved by computer-aided diagnosis (CAD) systems, serving as second readers to detect suspicious nodules for dia...