4266 search results - page 25 / 854 » A Framework for Defining Logics |
ASAP
2008
IEEE
15 years 4 months ago
2008
IEEE
Process technology has reduced in size such that it is possible to implement complete applicationspecific architectures as Systems-on-Chip (SoCs) using both Application-Specific I...
96
Voted
TNN
2010
14 years 4 months ago
2010
This paper provides a comprehensive framework for the state space approach to Boolean networks. First, it surveys the authors' recent work on the topic: Using semitensor produ...
70
Voted
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...
108
Voted
IJAR
2008
14 years 9 months ago
2008
We address in this paper the problem of defining belief functions, typically for multi-source classification applications in image processing. We propose to use mathematical morph...
48
Voted
TIME
1999
IEEE
15 years 1 months ago
1999
IEEE
In the recent literature on time representation, an effort has been made to characterize the notion of time granularity and the relationships between granularities, in order to ha...