7623 search results - page 1149 / 1525 » Algorithmic Features of Eclat |
180
click to vote
PSIVT
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In a process of insect footprint recognition, footprint segments need to be extracted from scanned insect footprints in order to find out appropriate features for classi...
164
click to vote
TACAS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Time Petri Nets (TPN) and Timed Automata (TA) are widely-used formalisms for the modeling and analysis of timed systems. A recently-developed approach for the analysis of...
158
click to vote
TACAS
2007
Springer
16 years 24 days ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
154
click to vote
WAW
2007
Springer
16 years 24 days ago
2007
Springer
We present a new stochastic model for complex networks, based on a spatial embedding of the nodes, called the Spatial Preferred Attachment (SPA) model. In the SPA model, nodes have...
208
click to vote
CCECE
2006
IEEE
16 years 23 days ago
2006
IEEE
A software defined radio (SDR) receiver architecture is proposed in this paper for ultra-wideband (UWB) applications. Both UWB data communication and positioning functions are imp...