542 search results - page 53 / 109 » The Denjoy alternative for computable functions |
145
click to vote
CAV
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
147
click to vote
CCS
2007
ACM
16 years 12 days ago
2007
ACM
In order to provide certified security services we must provide indicators that can measure the level of assurance that a complex business process can offer. Unfortunately the fo...
208
click to vote
HUMO
2007
Springer
16 years 11 days ago
2007
Springer
We present a method to simultaneously estimate 3d body pose and action categories from monocular video sequences. Our approach learns a lowdimensional embedding of the pose manifol...
164
click to vote
ACSC
2006
IEEE
16 years 8 days ago
2006
IEEE
Manipulating semistructured data, such as XML, does not t well within conventional programming languages. A typical manipulation requires nding all occurrences of a structure matc...
148
Voted
WISE
2006
Springer
16 years 6 days ago
2006
Springer
As the service-oriented computing paradigm and its related technologies mature, it is expected that electronic services will continue to grow in numbers. In such a setting, the cou...