1948 search results - page 119 / 390 » Formalizing Mirror Theory |
153
click to vote
CLEIEJ
2008
15 years 5 months ago
2008
In the past few years Artificial Intelligence has been gradually introduced to enhance Education through technologies. However, usual approaches provide systems with a kind of exp...
133
click to vote
IJIS
2008
15 years 5 months ago
2008
The ability to analyse and represent formally semantic relations of terms is a core issue in information retrieval (IR), natural language processing (NLP), and in many related are...
159
Voted
ENGL
2007
15 years 5 months ago
2007
Abstract—In any formal theory, a proof is a sequence of well formed formulas (wff). Here, we consider the digraph whose nodes are proofs and the edges are pairs of proofs such t...
131
click to vote
ATAL
2009
Springer
16 years 4 days ago
2009
Springer
Commitments provide a basis for understanding interactions in multiagent systems. Successful interoperation relies upon the interacting parties being aligned with respect to their...
196
click to vote
MEMOCODE
2008
IEEE
15 years 12 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...