7167 search results - page 1203 / 1434 » A Technique for Invariant Generation |
204
click to vote
SAMOS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract—Geometric Algebra (GA), a generalization of quaternions, is a very powerful form for intuitively expressing and manipulating complex geometric relationships common to en...
233
click to vote
SMC
2010
IEEE
15 years 5 months ago
2010
IEEE
—Deep Web contents are accessed by queries submitted to Web databases and the returned data records are enwrapped in dynamically generated Web pages (they will be called deep Web...
183
click to vote
SOCO
2010
Springer
15 years 5 months ago
2010
Springer
Witnesses and victims of serious crime are often required to construct a facial composite, a visual likeness of a suspect’s face. The traditional method is for them to select in...
189
click to vote
TCS
2010
15 years 5 months ago
2010
We define a subclass of timed automata, called oscillator timed automata, suitable to model biological oscillators. Coupled biological oscillators may synchronise, as emerging be...
141
click to vote
TIFS
2010
15 years 5 months ago
2010
—This paper presents a novel lossless data embedding algorithm for electronic inks. The proposed algorithm first computes the analytical ink-curve for each stroke as a set of sm...