478 search results - page 62 / 96 » Formal Modelling of Cognitive Interpretation |
178
click to vote
COLING
1990
15 years 7 months ago
1990
One of the issues of Artificial Intelligence is the transfer of the knowledge conveyed by Natural Language into formalisms that a computer can interpret. In the Natural Language P...
190
click to vote
FORMATS
2004
Springer
15 years 11 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
160
click to vote
QEST
2009
IEEE
16 years 20 days ago
2009
IEEE
—We consider a distributed shuffling algorithm for sharing data in a distributed network. Nodes executing the algorithm periodically contact each other and exchange data. The be...
162
click to vote
APSEC
2007
IEEE
16 years 9 days ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
177
click to vote
APCCM
2009
15 years 7 months ago
2009
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this important task some graph-based VCSs for model artifacts already emerge...