175 search results - page 11 / 35 » A Complete and Recursive Feature Theory |
134
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
We analyze a previously unexplored generalization of the scalar total variation to vector-valued functions, which is motivated by geometric measure theory. A complete mathematical...
136
click to vote
ICEIS
2005
IEEE
15 years 11 months ago
2005
IEEE
: Business Process Re-engineering (BPR) is an area that requires a lot of technical documents and an important feature of a well-written document is a coherent narrative. Even thou...
124
click to vote
BIRTHDAY
2006
Springer
15 years 9 months ago
2006
Springer
This paper is a contribution to the study of uniformity conditions for endofunctors on sets initiated in Aczel [1] and pursued later in other works such as Turi [17]. The main res...
122
click to vote
KCAP
2005
ACM
15 years 11 months ago
2005
ACM
Among the variety of alignment approaches (e.g., using machine learning, subsumption computation, formal concept analysis, etc.) similarity-based ones rely on a quantitative asses...
153
click to vote
ICALP
2001
Springer
15 years 9 months ago
2001
Springer
We present a logical framework Υ for reasoning on a very general class of languages featuring binding operators, called nominal , presented in higher-order abstract syntax (HOAS)....