526 search results - page 21 / 106 » Representations of structural closure operators |
122
Voted
JCPHY
2011
14 years 4 months ago
2011
We develop a hierarchical matrix construction algorithm using matrixvector multiplications, based on the randomized singular value decomposition of low-rank matrices. The algorith...
120
click to vote
TCIAIG
2010
14 years 8 months ago
2010
In this paper, we present the design, implementation, and evaluation of an end-to-end camera planning system called Darshak. Darshak automatically constructs cinematic narrative di...
109
click to vote
MST
2010
15 years 9 days ago
2010
atic presentation for a relational structure is, informally, an abstract representation of the elements of that structure by means of a regular language such that the relations ca...
117
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
137
Voted
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolea...