1676 search results - page 192 / 336 » Formal Development of Self-organising Systems |
187
click to vote
WSPI
2004
15 years 8 months ago
2004
Abstract. We examine the possibility of applying knowledge representation and automated reasoning in the context of philosophical ontology. For this purpose, we use the axioms and ...
144
click to vote
ACL
2000
15 years 8 months ago
2000
As an application of NLP to computer-assisted language learning(CALL) , we propose a diagnostic processing of Japanese being able to detect errors and inappropriateness of sentenc...
153
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
191
click to vote
TGC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
173
click to vote
SEMWEB
2005
Springer
16 years 3 days ago
2005
Springer
We address the problem of linking observations from reality to a semantic web based knowledge base. Concepts in the biological domain are increasingly being formalized through ont...