3943 search results - page 608 / 789 » Architecture-Level Requirements Specification |
174
click to vote
CVPR
2011
IEEE
15 years 25 days ago
2011
IEEE
Nearly every structured prediction problem in computer vision requires approximate inference due to large and complex dependencies among output labels. While graphical models prov...
124
click to vote
ACSC
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper discusses the design and implementation of a payment framework that is loosely based on the direct debit payment model. We define such payments as one in which customer...
178
click to vote
AMAST
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
120
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper examines the dynamics of a networked multi-agent system operating with a consensus-type coordination algorithm that can be influenced by external agents. We refer to thi...
176
click to vote
JWSR
2011
14 years 11 months ago
2011
: Deciding on web service equivalence in process-aware service compositions is a crucial challenge throughout the composition life cycle. Restricting such decisions to (activity) l...