897 search results - page 62 / 180 » Identity: How to name it, How to find it |
81
Voted
GG
2004
Springer
15 years 7 months ago
2004
Springer
We propose a faithful encoding of Java programs (written in a suitable fragment of the language) to Graph Transformation Systems. Every program is translated to a set of rules incl...
106
Voted
ITNG
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper, the third in a series of four papers, describes a subsystem with integrative function named Geographic Intelligence (GI), from SNIRH, The National Water Resource Infor...
118
click to vote
OTM
2009
Springer
15 years 6 months ago
2009
Springer
In this paper, we want to show which difficulties arise when automatically constructing a domain-independent knowledge base from the web. We show possible applications for such a k...
111
click to vote
TIME
1998
IEEE
15 years 5 months ago
1998
IEEE
In this paper, we propose a logic of action and causality. The most important part of our contribution is a semantics that integrates action, temporal structure, and probability. ...
106
click to vote
SPIN
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. In this article, we address the problem of statically determining an approximation of the communication topology of concurrent programs. These programs may contain dynami...