8008 search results - page 203 / 1602 » Computer-Aided Language Processing |
107
click to vote
QSIC
2003
IEEE
15 years 8 months ago
2003
IEEE
The goal of this paper is to examine the Japanese experience with the software development process, the challenges they face and how formal engineering methods, in particular SOFL...
129
click to vote
ICALP
2000
Springer
15 years 6 months ago
2000
Springer
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...
102
Voted
PDPTA
2004
15 years 4 months ago
2004
: With the resurgence of interest in distributed processing and programming of distributed systems, researchers are exploring methods and techniques for facilitating programming of...
156
click to vote
AIML
2000
15 years 4 months ago
2000
Notions of context for natural language interpretation are factored in terms of three processes: translation, entailment and attunement. The processes are linked by accessibility r...
JOLLI
2002
15 years 2 months ago
2002
We analyze extensive games as interactive process models, using modal languages plus matching notions of bisimulation as varieties of game equivalences. Our technical results show ...