2989 search results - page 336 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
168
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper addresses the problem of efficient functional simulation of synchronous digital systems. A technique based on the use of Decision Diagrams (DD) for representing the fun...
161
click to vote
ESANN
2008
15 years 8 months ago
2008
Abstract. This paper introduces a new concept to the processing of graph structured information using self organising map framework. Previous approaches to this problem were limite...
134
click to vote
IJBC
2008
15 years 6 months ago
2008
This paper deals with the problem of secure data transmission based on multi-input multi-output delayed chaotic systems. A new multi-input secure data transmission scheme is propo...
163
click to vote
LRE
2008
15 years 6 months ago
2008
This paper concerns metaphor resource creation. It provides an account of methods used, problems discovered, and insights gained at the Hamburg Metaphor Database project, intended ...
183
click to vote
IJIS
2011
14 years 10 months ago
2011
In this paper, we propose a method for modeling concepts in full computation-tree logic with sequence modal operators. An extended full computation-tree logic, CTLS∗ , is introdu...