-
2
-
-
0030649882
-
Algebraic models for understanding: Coordinate systems and cognitive empowerment
-
ct 1997
-
Nehaniv, C. L. (1997). Algebraic models for understanding: coordinate systems and cognitive empowerment, ct, p. 147, Second International Conference on Cognitive Technology (CT '97), 1997, http://doi.ieeecomputersociety.org/10. 1109/CT.1997.617694
-
(1997)
Second International Conference on Cognitive Technology (CT '97)
, pp. 147
-
-
Nehaniv, C.L.1
-
3
-
-
10444264607
-
Some new directions in control theory inspired by systems biology
-
1
-
Sontag E.D. (2004). Some new directions in control theory inspired by systems biology. Systems Biology. IEE Proceedings 1(1): 9-18
-
(2004)
Systems Biology. IEE Proceedings
, vol.1
, pp. 9-18
-
-
Sontag, E.D.1
-
4
-
-
0034432503
-
Synthesis of self-adaptive software
-
CD-ROM Reference 10.0304, Big Sky, MT, March 2000
-
Ledeczi, A., & Karsai, G. (2000). Synthesis of self-adaptive software. Proceedings of the IEEE Aerospace Conference. CD-ROM Reference 10.0304, Big Sky, MT, March 2000.
-
(2000)
Proceedings of the IEEE Aerospace Conference
-
-
Ledeczi, A.1
Karsai, G.2
-
5
-
-
0036394075
-
The real time process algebra (RTPA)
-
Wang Y. (2002). The real time process algebra (RTPA). Annals of Software Engineering 14: 235-274
-
(2002)
Annals of Software Engineering
, vol.14
, pp. 235-274
-
-
Wang, Y.1
-
6
-
-
0141499553
-
Using process algebra to describe human and software behaviors
-
Wang Y. (2003). Using process algebra to describe human and software behaviors. Brain and Mind 4: 199-213
-
(2003)
Brain and Mind
, vol.4
, pp. 199-213
-
-
Wang, Y.1
-
7
-
-
13944270983
-
STOPA: A stochastic process algebra for the formal representation of cognitive systems
-
16-17 Aug. 2004
-
Lopez, N., Nunez, M., & Pelayo, F. L. (2004). STOPA: A stochastic process algebra for the formal representation of cognitive systems. Proceedings of the Third IEEE International Conference on Cognitive Informatics 2004, 16-17 Aug. 2004, (pp. 64-73).
-
(2004)
Proceedings of the Third IEEE International Conference on Cognitive Informatics 2004
, pp. 64-73
-
-
Lopez, N.1
Nunez, M.2
Pelayo, F.L.3
-
8
-
-
41149146725
-
The Calculus process algebra of bounded rational agents applied to selected problems in bioinformatics
-
Singapore, Dec. 13-16, 2005
-
Atallah, L., & Eberbach, E. (2005). The Calculus process algebra of bounded rational agents applied to selected problems in bioinformatics. Proceedings of Third International Conference on Computational Intelligence, Robotics and Autonomous Systems CIRAS'05. Singapore, Dec. 13-16, 2005.
-
(2005)
Proceedings of Third International Conference on Computational Intelligence, Robotics and Autonomous Systems CIRAS'05
-
-
Atallah, L.1
Eberbach, E.2
-
10
-
-
41149107067
-
-
SWRLSubmission
-
SWRLSubmission. http://www.w3.org/Submission/SWRL/.
-
-
-
-
12
-
-
70349749644
-
Constructing Bayesian networks automatically using ontologies
-
14 Dec. 2006, Trento, Italy
-
Devitt, A., Danev, B., & Matusikova, K. (2006). Constructing Bayesian networks automatically using ontologies. Proceedings of Formal Ontologies Meet Industry (FOMI). 14 Dec. 2006, Trento, Italy.
-
(2006)
Proceedings of Formal Ontologies Meet Industry (FOMI)
-
-
Devitt, A.1
Danev, B.2
Matusikova, K.3
-
13
-
-
2942592352
-
Ontology-based context modelling and reasoning using OWL
-
14-17 March. 2004
-
Wang, X. H., Gu, T., Zhang, D. Q., & Pung, H. K. (2004). Ontology-based context modelling and reasoning using OWL. Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications- Percom 2004, 14-17 March. 2004, (pp. 18-22).
-
(2004)
Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications- Percom 2004
, pp. 18-22
-
-
Wang, X.H.1
Gu, T.2
Zhang, D.Q.3
Pung, H.K.4
-
14
-
-
33646683590
-
Towards a hybrid approach to context modelling, reasoning, and interoperation
-
UbiComp'2004
-
Henricksen, K., Livingstone, S., & Indulska, J. (2004). Towards a hybrid approach to context modelling, reasoning, and interoperation. Proceedings of the 1st International Workshop on Advanced Context Modelling, Reasoning And Management. UbiComp'2004.
-
(2004)
Proceedings of the 1st International Workshop on Advanced Context Modelling, Reasoning and Management
-
-
Henricksen, K.1
Livingstone, S.2
Indulska, J.3
|