2438 search results - page 354 / 488 » Consistent Gradient Operators |
114
click to vote
AMS
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. This paper proposes a novel architecture for the programming of multi-modal service robots and networked sensors. The presented software framework eases the development o...
ATAL
2009
Springer
15 years 1 months ago
2009
Springer
While there has been much work on developing frameworks and models of norms and normative systems, consideration of the impact of norms on the practical reasoning of agents has at...
100
click to vote
CAV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
DEBS
2010
ACM
15 years 1 months ago
2010
ACM
A new publish/subscribe capability is presented: the ability to predict the likelihood that a subscription will be matched at some point in the future. Composite subscriptions con...
GRAPHITE
2007
ACM
15 years 1 months ago
2007
ACM
Point-sampled geometry has gained significant interest due to their simplicity. The lack of connectivity touted as a plus, however, creates difficulties in many operations like ge...