2152 search results - page 254 / 431 » On Automating the Calculus of Relations |
157
click to vote
LICS
2006
IEEE
16 years 13 days ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
176
click to vote
DLOG
2007
15 years 8 months ago
2007
Clio is a joint research project between the University of Toronto and IBM Almaden Research Center started in 1999 to address both foundational and systems issues related to the ma...
168
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
We consider di usion processes on a class of R trees. The processes are de ned in a manner similar to that of Le Gall's Brownian snake. Each point in the tree has a real value...
286
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Self-adjusting computation is an evaluation model in which programs can respond efficiently to small changes to their input data by using a change-propagation mechanism that updat...
303
click to vote
POPL
2003
ACM
16 years 6 months ago
2003
ACM
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...