Sciweavers

3595 search results - page 473 / 719
» Roles of Program Extension
Sort
View
SCESM
2006
ACM
239views Algorithms» more  SCESM 2006»
16 years 16 days ago
Aspect-oriented software design with a variant of UML/STD
The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing syst...
Shin Nakajima, Tetsuo Tamai
XIMEP
2006
ACM
179views Database» more  XIMEP 2006»
16 years 16 days ago
Positional Grouping in XQuery
This paper proposes an extension to the XQuery language to solve the problem of positional grouping: that is, problems in which it is necessary to convert a flat sequence into a h...
Michael H. Kay
MM
2005
ACM
150views Multimedia» more  MM 2005»
16 years 4 days ago
Exciting event detection in broadcast soccer video with mid-level description and incremental learning
In this paper, we propose a method for exciting event detection in broadcast soccer video with mid-level description and SVM-based incremental learning. In the method, video frame...
Qixiang Ye, Qingming Huang, Wen Gao, Shuqiang Jian...
BIRTHDAY
2005
Springer
16 years 4 days ago
a-logic
We present an extension of first-order predicate logic with a novel predicate ‘at t’ meaning intuitively “this term is a variable symbol”. We give simple sequent proof-ru...
Murdoch Gabbay, Michael Gabbay
CALCO
2005
Springer
114views Mathematics» more  CALCO 2005»
16 years 4 days ago
Towards a Coalgebraic Semantics of the Ambient Calculus
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...