7978 search results - page 405 / 1596 » Representation before computation |
177
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Various methods have been used to represent a tree on n nodes in essentially the informationtheoretic minimum space while supporting various navigational operations in co...
182
click to vote
WIKIS
2006
ACM
16 years 23 days ago
2006
ACM
Ontologies are consensual representations of a domain of discourse and the backbone of the future Semantic Web. Currently, however, only a fraction of Web users can take part in t...
165
Voted
GRAPHITE
2005
ACM
16 years 12 days ago
2005
ACM
We present a meshing and rendering framework for tetrahedral meshes that constructs a multi-resolution representation and uses this representation to adapt the mesh to rendering p...
187
click to vote
CAV
2005
Springer
16 years 11 days ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
173
click to vote
CIKM
2005
Springer
16 years 11 days ago
2005
Springer
We study suitable indexing techniques to support efficient exact match search in large biological sequence databases. We propose a suffix tree (ST) representation, called STA-DF, ...