1965 search results - page 55 / 393 » On the analysis of interacting pushdown systems |
ISI
2004
Springer
14 years 2 months ago
2004
Springer
Counterterrorism and intelligence tasks rely on the efficient collection, analysis and dissemination of information. While information systems play a key role in such tasks, databa...
ALIFE
2006
13 years 8 months ago
2006
An evolutionary system that supports the interaction of neutral and adaptive mutations is investigated. Experimental results on a Boolean function and needle-in-haystack problems s...
INTERACT
2003
13 years 10 months ago
2003
: This paper presents both a theoretical analysis of differences between geographic and hypermedia spaces, and some experimental data comparing users’ ability to navigate in hype...
DAC
1994
ACM
14 years 25 days ago
1994
ACM
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
SRDS
1998
IEEE
14 years 1 months ago
1998
IEEE
In the paper, an e cient image database system is developed. The most important features of the proposed system include compressed domain indexing, searching by using scalable fea...