3457 search results - page 98 / 692 » A Symbol Is Not a Symbol |
113
click to vote
MMB
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
177
Voted
FMOODS
2008
15 years 2 months ago
2008
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
IADIS
2004
15 years 2 months ago
2004
Economical globalization and outsourcing have inspired the surge of research in distributed computer-aided design. This paper presents a framework for Internet-based symbolic dist...
93
Voted
MCU
2004
15 years 2 months ago
2004
Many different definitions of computational universality for various types of systems have flourished since Turing's work. In this paper, we propose a general definition of un...
154
Voted
IDA
2008
Springer
15 years 22 days ago
2008
Springer
Currently statistical and artificial neural network methods dominate in data mining applications. Alternative relational (symbolic) data mining methods have shown their effectivene...