918 search results - page 14 / 184 » Speculative Issue Logic |
ECAL
2005
Springer
15 years 7 months ago
2005
Springer
Contrary to indications made by prior researchers, digital logic circuits designed by artificial evolution to perform binary arithmetic tasks can generalise on inputs which were n...
110
click to vote
ISEMANTICS
2010
15 years 3 months ago
2010
This paper gives an account of how traditional metadata application profiles are related to Web ontologies and Description Logics. It is shown that metadata profiles can be formal...
128
Voted
AGP
1998
IEEE
15 years 6 months ago
1998
IEEE
Visualization of program executions has been found useful in applications which include education and debugging. However, traditional visualization techniques often fall short of ...
110
click to vote
FUIN
2007
15 years 1 months ago
2007
Abstract. Our previous research presents a methodology of cooperative problem solving for beliefdesire-intention (BDI) systems, based on a complete formal theory called TEAMLOG. Th...
134
click to vote
CORR
2002
Springer
15 years 1 months ago
2002
Springer
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...