Sciweavers

598 search results - page 5 / 120
» Generic Trace Theory
Sort
View
CALCO
2009
Springer
139views Mathematics» more  CALCO 2009»
14 years 2 months ago
Traces, Executions and Schedulers, Coalgebraically
A theory of traces of computations has emerged within the field of coalgebra, via finality in Kleisli categories. In concurrency theory, traces are traditionally obtained from ex...
Bart Jacobs, Ana Sokolova
CVPR
2007
IEEE
14 years 9 months ago
Trace Ratio vs. Ratio Trace for Dimensionality Reduction
A large family of algorithms for dimensionality reduction end with solving a Trace Ratio problem in the form of arg maxW Tr(WT SpW)/Tr(WT SlW)1 , which is generally transformed in...
Huan Wang, Shuicheng Yan, Dong Xu, Xiaoou Tang, Th...
APAL
2008
62views more  APAL 2008»
13 years 7 months ago
Superrosy dependent groups having finitely satisfiable generics
We develop a basic theory of rosy groups and we study groups of small U
Clifton Ealy, Krzysztof Krupinski, Anand Pillay
DBPL
2001
Springer
133views Database» more  DBPL 2001»
14 years 6 days ago
A Theory of Spatio-Temporal Database Queries
Abstract. We address a fundamental question concerning spatio-temporal database systems: “What are exactly spatio-temporal queries?” We define spatio-temporal queries to be co...
Floris Geerts, Sofie Haesevoets, Bart Kuijpers