279 search results - page 16 / 56 » A Name Abstraction Functor for Named Sets |
155
click to vote
AINA
2007
IEEE
16 years 13 days ago
2007
IEEE
Abstract— Research on context-aware systems is usually usercentric and thus focussed on the context of a specific user to serve his or her needs in an optimized way. In this pap...
136
Voted
DISCEX
2003
IEEE
15 years 11 months ago
2003
IEEE
Coalitions are collaborative networks of autonomous domains where resource sharing is achieved by the distribution of access permissions to coalition members based on negotiated r...
160
Voted
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
A structured approach to parallel programming allows to construct applications by composing skeletons, i.e., recurring patterns of task- and data-parallelism. First academic and co...
160
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
185
click to vote
EPIA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Robots need to ground their external vocabulary and internal symbols in observations of the world. In recent works, this problem has been approached through combinations ...