12194 search results - page 160 / 2439 » cans 2010 |
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. An impure language is one that combines functional and imperative constructs. We propose a method for ensuring termination of impure concurrent languages that makes it po...
78
Voted
AI
2010
Springer
15 years 27 days ago
2010
Springer
Delegation is a foundational concept for understanding and engineering systems that interact and execute tasks autonomously. By extending recent work on tensed action logic, it be...
78
Voted
FS
2010
14 years 11 months ago
2010
Portfolio credit risk models as well as models for operational risk can often be treated analogously to the collective risk model coming from insurance. Applying the classical Panj...
JUCS
2010
14 years 11 months ago
2010
: Assigning one (more) shared resource(s) to several requesters is a function of arbiters (allocators). This class of decision-making modules can be implemented in a number of ways...
102
click to vote
ICIP
2010
IEEE
14 years 10 months ago
2010
IEEE
The process of finding representative shape patterns from sparse datasets is a challenging task: especially for non-rigid objects, shape deformations through time can produce very...