1699 search results - page 155 / 340 » A Rule Format for Associativity |
121
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We are concerned with demonstrating productivity of specifications of infinite streams of data, based on orthogonal rewrite rules. In general, this property is undecidabl...
168
Voted
IANDC
1998
15 years 5 months ago
1998
We set up a formal framework to describe transition system specifications in the style of Plotkin. This framework has the power to express many-sortedness, general binding mechan...
165
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Temporal text mining deals with discovering temporal patterns in text over a period of time. A Theme Evolution Graph (TEG) is used to visualize when new themes are created and how...
185
click to vote
IPCCC
2007
IEEE
16 years 13 days ago
2007
IEEE
The success of any spyware is determined by its ability to evade detection. Although traditional detection methodologies employing signature and anomaly based systems have had rea...
146
Voted
CLEAR
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. This paper presents two approaches to the problem of simultaneous tracking of several people in low resolution sequences from multiple calibrated cameras. Spatial redunda...