2292 search results - page 210 / 459 » Structure preserving embedding |
124
click to vote
CALCO
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
191
click to vote
ICCV
2005
IEEE
15 years 10 months ago
2005
IEEE
Recently, nonrigid shape matching has received more and more attention. For nonrigid shapes, most neighboring points cannot move independently under deformation due to physical co...
150
click to vote
CSL
2005
Springer
15 years 10 months ago
2005
Springer
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...
130
click to vote
HT
2004
ACM
15 years 10 months ago
2004
ACM
WARP is a Web-based dynamic spatial hypertext that runs in a Web browser. WARP includes the ability to transclude other spatial hypertexts as collections. WARP also enables annota...
135
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
XML data can be stored in different databases including ObjectRelational Database (ORDB). Using ORDB, we get the benefit of the relational maturity and the richness of OO modeling...