2539 search results - page 150 / 508 » Semantic frameworks for e-government |
199
click to vote
MM
2006
ACM
16 years 16 days ago
2006
ACM
Recognition of player actions in broadcast sports video is a challenging task due to low resolution of the players in video frames. In this paper, we present a novel method to rec...
148
click to vote
ICAS
2006
IEEE
16 years 19 days ago
2006
IEEE
Automation of versatile process management will aid greater efficiency and lower costs. It is widely expected that highly structured agreements should be executed and enforced aut...
188
click to vote
ACOM
2006
Springer
16 years 17 days ago
2006
Springer
Abstract. In this paper, we identify some problems with current formalizations of conditional commitments, i.e. commitments to achieve a goal if some condition becomes true. We pre...
155
click to vote
ICCSA
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. In this paper a methodology and a framework for personalized views on data available on the World Wide Web are proposed. We describe its main two ingredients, Web data ex...
182
click to vote
TLCA
2005
Springer
16 years 1 days ago
2005
Springer
Cut elimination is a central result of the proof theory. This paper proposes a new approach for proving the theorem for Gentzen’s intuitionistic sequent calculus LJ, that relies ...