5962 search results - page 171 / 1193 » Working with Patterns and Code |
140
Voted
TKDE
2008
15 years 3 months ago
2008
Although there have been many recent studies on the mining of sequential patterns in a static database and in a database with increasing data, these works, in general, do not fully...
107
click to vote
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
In joint work with Cristiano Calcagno, Peter O’Hearn, and Hongseok Yang, we have introduced bi-abductive inference and its use in reasoning about heap manipulating programs [5]. ...
124
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— We proposed a Hybrid Automatic Repeat reQuest (HARQ) packet transmission scheme for a Multiple Input Multiple Output (MIMO) system in a frequency selective fading channel. The ...
116
click to vote
ATVA
2005
Springer
15 years 9 months ago
2005
Springer
Esterel is an imperative synchronous programming language for the design of reactive systems. Esterel extends Esterel with a noninstantaneous jump instruction (compatible with conc...
123
click to vote
CVPR
2000
IEEE
16 years 5 months ago
2000
IEEE
Humans have an innate ability to perceive symmetry, but it is not obvious how to automate this powerful insight. In this paper the mathematical theory of Frieze and wallpaper grou...