1269 search results - page 145 / 254 » Pi-Calculus in Logical Form |
174
click to vote
IPM
2002
15 years 5 months ago
2002
This paper proposes a new approach for classifying text documents into two disjoint classes. The new approach is based on extracting patterns, in the form of two logical expressio...
163
click to vote
ICSEA
2009
IEEE
16 years 2 days ago
2009
IEEE
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...
244
click to vote
GIS
2004
ACM
16 years 6 months ago
2004
ACM
In the geometric data model [6], spatio-temporal data are modelled as a finite collection of triangles that are transformed by time-dependent affinities. To facilitate querying an...
131
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
Writing loops with tail-recursive function calls is the equivalent of writing them with goto's. Given that loop packages for Lisp-family languages have been around for over 2...
222
click to vote
ISEC
2001
Springer
15 years 10 months ago
2001
Springer
Over the past decade the Internet has evolved into the largest public community in the world. It provides a wealth of data content and services in almost every field of science, t...