1981 search results - page 229 / 397 » Model-Checking Hierarchical Structures |
ICPR
2008
IEEE
14 years 11 months ago
2008
IEEE
In this paper, we present a set of texture features that are locally invariant to similarity or affinity. The proposed indexing scheme relies on the topographic map, a shape-based...
DATE
2009
IEEE
14 years 5 months ago
2009
IEEE
—The compilation of imperative synchronous languages like Esterel has been widely studied, the separate compilation of synchronous modules has not, and remains a challenge. We pr...
APSCC
2008
IEEE
14 years 4 months ago
2008
IEEE
— We discuss a learning model that enables the creation of optimal learning strategies that suit learners’ needs. A customized learning content is delivered to learners as mana...
VTC
2008
IEEE
14 years 4 months ago
2008
IEEE
—The design of LTE turbo coding chain suitable for flexible parallel and pipelined hardware implementations is presented. The hierarchical data structure further offers an opport...
BTW
2007
Springer
14 years 4 months ago
2007
Springer
: Ever-growing data volumes demand for storage systems beyond current file systems abilities, particularly, a powerful querying capability. With the rise of XML, the database comm...