Sciweavers

804 search results - page 119 / 161
» Generation of Informative Texts with Style
Sort
View
ENTCS
2007
126views more  ENTCS 2007»
15 years 4 months ago
Nominal Reasoning Techniques in Coq: (Extended Abstract)
d Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science University of Pennsylvania Philadelphia, PA, USA We explore an axiomatize...
Brian E. Aydemir, Aaron Bohannon, Stephanie Weiric...
183
Voted
GIS
2002
ACM
15 years 3 months ago
Interactive 3D visualization of vector data in GIS
Vector data represents one major category of data managed by GIS. This paper presents a new technique for vector-data display that is able to precisely and efficiently map vector ...
Oliver Kersting, Jürgen Döllner
ICCV
2011
IEEE
14 years 4 months ago
Source Constrained Clustering
We consider the problem of quantizing data generated from disparate sources, e.g. subjects performing actions with different styles, movies with particular genre bias, various con...
Ekaterina Taralova, Fernando DelaTorre, Martial He...
CLEF
2007
Springer
15 years 10 months ago
Multiplying Concept Sources for Graph Modeling
This paper presents the LIG contribution to the CLEF 2007 medical retrieval task (i.e. ImageCLEFmed). The main idea in this paper is to incorporate medical knowledge in the langua...
Loïc Maisonnasse, Éric Gaussier, Jean-...
IV
2005
IEEE
156views Visualization» more  IV 2005»
15 years 9 months ago
Applying Graphical Design Techniques to Graph Visualisation
This paper contains details of new criteria for graph layout, based on the concepts used in graphical design. Current graph layout criteria have been shown to be effective in meas...
Martyn Taylor, Peter Rodgers