891 search results - page 65 / 179 » Full Abstraction for PCF |
CDC
2009
IEEE
14 years 19 days ago
2009
IEEE
Abstract— Anti-angiogenic therapy is a novel treatment approach in cancer therapy that aims at preventing a tumor from developing a network of blood vessels and capillaries that ...
CDC
2009
IEEE
14 years 19 days ago
2009
IEEE
Abstract— Pursuit strategies (formulated using constantspeed particle models) provide a means for achieving cohesive behavior in systems of multiple mobile agents. In the present...
ECTEL
2009
Springer
14 years 16 days ago
2009
Springer
Abstract. The MiGen project is designing and developing an intelligent, exploratory environment to support 11–14-year-old students in their learning of mathematical generalisatio...
GI
2009
Springer
14 years 16 days ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
INEX
2009
Springer
14 years 15 days ago
2009
Springer
Abstract. The goal of the INEX 2009 Book Track is to evaluate approaches for supporting users in reading, searching, and navigating the full texts of digitized books. The investiga...