2138 search results - page 353 / 428 » Logical Step-Indexed Logical Relations |
147
click to vote
FCCM
1997
IEEE
15 years 8 months ago
1997
IEEE
We propose an FPGA chip architecture based on a conventional FPGA logic array core, in which I/O pins are clocked at a much higher rate than that of the logic array that they serv...
169
click to vote
EBERNBURG
1990
15 years 8 months ago
1990
In the theory of living systems any description of self-organizing processes is confronted by a very central problem concerning the role of the system's boundary, i.e., there...
183
click to vote
FSKD
2006
Springer
15 years 8 months ago
2006
Springer
The purpose of this study is to develop a decision making system to evaluate the risks in E-Commerce (EC) projects. Competitive software businesses have the critical task of assess...
124
click to vote
KR
2000
Springer
15 years 8 months ago
2000
Springer
We propose to extend the ontology of logical AI to include approximate objects, approximate predicates and approximate theories. Besides the ontology we treat the relations among ...
187
click to vote
ECOWS
2008
Springer
15 years 6 months ago
2008
Springer
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...