921 search results - page 107 / 185 » Expressing Computational Complexity in Constructive Type The... |
113
click to vote
IMSCCS
2007
IEEE
15 years 11 months ago
2007
IEEE
Gene pathway can be defined as a group of genes that interact with each other to perform some biological processes. Along with the efforts to identify the individual genes that pl...
223
Voted
SCHOLARPEDIA
2011
14 years 7 months ago
2011
: In 1613 d’Aguilon published a book on optics containing a novel color mixture diagram in arc form. Diagrams of similar form are found in many medieval manuscripts where they ha...
140
Voted
ECOOPW
1997
Springer
15 years 9 months ago
1997
Springer
An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots. Dia...
218
Voted
SEAAI
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. In the past, some information technologies (IT) have quickly been adopted by the engineering practice while the implementation of others has been slower. In the paper, th...
213
click to vote
DALT
2010
Springer
14 years 12 months ago
2010
Springer
Social reasoning theories, whilst studied extensively in the area of multiagent systems, are hard to implement directly in agents. They often specify properties of beliefs or behav...