3408 search results - page 382 / 682 » Logic, language, information and computation |
171
click to vote
TACAS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
202
click to vote
CLIMA
2006
15 years 8 months ago
2006
In this paper, we introduce the notion of communication channel into a multiagent system. We formalize the system in term of logic with Belief modality, where each possible world i...
164
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Architecture description languages (ADL) have been established to aid the design of application-specific instruction-set processors (ASIP). Their main contribution is the automati...
210
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
149
click to vote
IWPT
2001
15 years 8 months ago
2001
Natural language processing technologies offer ease-of-use of computers for average users, and easeof-access to on-line information. Natural language, however, is complex, and the...