1981 search results - page 306 / 397 » Model-Checking Hierarchical Structures |
IAT
2008
IEEE
13 years 9 months ago
2008
IEEE
This paper presents iFALCON, a model of BDI (beliefdesire-intention) agents that is fully realized as a selforganizing neural network architecture. Based on multichannel network m...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
One major open problem in network coding is to characterize the capacity region of a general multi-source multi-demand network. There are some existing computational tools for boun...
EJIS
2006
13 years 9 months ago
2006
This paper examines how the use of mobile phones influences the temporal boundaries that people enact in order to regulate and coordinate their work and non-work activities. We in...
BMCBI
2007
13 years 9 months ago
2007
Annotating genes and their products with Gene Ontology codes is an important area of research. One approach for doing this is to use the information available about these genes in...
IS
2008
13 years 9 months ago
2008
In this paper we propose DFL -- a formal, graphical workflow language for dataflows, i.e., workflows where large amounts of complex data are manipulated, and the structure of the ...