Sciweavers

162 search results - page 14 / 33
» Complex Representations of Algebraic Curves
Sort
View
162
Voted
JCT
2010
98views more  JCT 2010»
14 years 10 months ago
Lifts of matroid representations over partial fields
There exist several theorems which state that when a matroid is representable over distinct fields 1,..., k, it is also representable over other fields. We prove a theorem, the Li...
Rudi Pendavingh, Stefan H. M. van Zwam
PLDI
2011
ACM
14 years 6 months ago
Data representation synthesis
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...
Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin...
CONCUR
1998
Springer
15 years 8 months ago
Algebraic Techniques for Timed Systems
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
Albert Benveniste, Claude Jard, Stephane Gaubert
ACCV
2009
Springer
15 years 8 months ago
Multilevel Algebraic Invariants Extraction by Incremental Fitting Scheme
Algebraic invariants extracted from coefficients of implicit polynomials (IPs) have been attractive because of its convenience for solving the recognition problem in computer visio...
Bo Zheng, Jun Takamatsu, Katsushi Ikeuchi
124
Voted
COSIT
2009
Springer
179views GIS» more  COSIT 2009»
15 years 10 months ago
An Algebraic Approach to Image Schemas for Geographic Space
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...
Lisa Walton, Michael F. Worboys