941 search results - page 133 / 189 » The Second Order Particle System |
IDEAS
2007
IEEE
15 years 4 months ago
2007
IEEE
A sliding window join (SWJoin) is becoming an integral operation in every stream data management system. In some streaming applications the increasing volume of streamed data as w...
BIRTHDAY
2007
Springer
15 years 4 months ago
2007
Springer
Showing termination of the Battle of Hercules and Hydra is a challenge. We present the battle both as a rewrite system and as an arithmetic while program, provide proofs of their t...
CSL
2007
Springer
15 years 4 months ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
SCIA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Since texture is scale dependent, multi-scale techniques are quite useful for texture classification. Scale-space theory introduces multi-scale differential operators. In...
127
click to vote
VISUAL
2007
Springer
15 years 3 months ago
2007
Springer
An application for content-based annotation and retrieval of videos can be found in the sport domain, where videos are annotated in order to produce short summaries for news and sp...