3233 search results - page 539 / 647 » Rule Modeling and Markup |
154
click to vote
FM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
135
click to vote
ICMCS
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper, we present a novel approach for human activities recognition in the video. We analyze human activities in the sequential frames because human activities can be cons...
178
Voted
COMSIS
2010
15 years 1 months ago
2010
Abstract. In this paper we present DOMMLite - an extensible domainspecific language (DSL) for static structure definition of databaseoriented applications. The model-driven enginee...
187
click to vote
CVPR
2011
IEEE
15 years 21 days ago
2011
IEEE
We present a novel global stereo model that makes use of constraints from points with known depths, i.e., the Ground Control Points (GCPs) as referred to in stereo literature. Our...
134
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
In this paper, we propose a class of incentive schemes based on intervention. We develop a general game-theoretic framework for the design of intervention schemes under imperfect m...