4008 search results - page 343 / 802 » An expressive language of signatures |
183
click to vote
JAPLL
2008
15 years 6 months ago
2008
In this survey paper, we present several results linking quantifier-free axiomatizations of various Euclidean and hyperbolic geometries in languages without relation symbols to ge...
155
click to vote
KBS
2007
15 years 6 months ago
2007
In this paper we study the brokering and matchmaking problem, that is, how a requester’s requirements and preferences can be matched against a set of offerings collected by a bro...
172
click to vote
AIM
2000
15 years 6 months ago
2000
Three systems which generate real-time natural language commentary on the RoboCup simulation league are presented, and their similarities, di erences and directions for the future...
173
click to vote
PAAPP
2002
15 years 6 months ago
2002
We demonstrate that the run time of implicitly parallel programs can be statically predicted with considerable accuracy when expressed within the constraints of a skeletal, shapel...
155
click to vote
TOSEM
2002
15 years 6 months ago
2002
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...