1174 search results - page 26 / 235 » Derivation of Characteristic Formulae |
TVCG
2010
15 years 8 days ago
2010
—Characteristic curves of vector fields include stream, path, and streak lines. Stream and path lines can be obtained by a simple vector field integration of an autonomous ODE ...
127
click to vote
KDD
2007
ACM
16 years 2 months ago
2007
ACM
The increasing pervasiveness of the Internet has dramatically changed the way that consumers shop for goods. Consumergenerated product reviews have become a valuable source of inf...
BMCBI
2008
15 years 2 months ago
2008
Background: Insertions and deletions (indels) represent a common type of sequence variations, which are less studied and pose many important biological questions. Recent research ...
158
click to vote
ICDAR
2011
IEEE
14 years 1 months ago
2011
IEEE
—We propose a novel scenario called “writer retrieval” consisting in the retrieval from a set of documents all those produced by the same writer. The retrieval is based on a ...
111
click to vote
TACAS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Given a theory T and two formulas A and B jointly unsatisfiable in T , a theory interpolant of A and B is a formula I such that (i) its non-theory symbols are shared by ...