222 search results - page 29 / 45 » E-Matching with Free Variables |
ICFP
2002
ACM
14 years 7 months ago
2002
ACM
Meta-programming is a discipline of writing programs in a certain programming language that generate, manipulate or execute programs written in another language. In a typed settin...
EUROSSC
2009
Springer
14 years 2 months ago
2009
Springer
Geographical information retrieval (GIR) can benefit from context information to adapt the results to a user’s current situation and personal preferences. In this respect, seman...
TCS
2008
13 years 7 months ago
2008
Intersection types are well-known to type theorists mainly for two reasons. Firstly, they type all and only the strongly normalizable lambda terms. Secondly, the intersection type...
KI
2010
Springer
13 years 2 months ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
MICCAI
2005
Springer
14 years 8 months ago
2005
Springer
Respiratory organ motion is a key problem in proton therapy and in many other treatments. This paper presents a novel retrospective gating method for 4D (dynamic 3D) MR imaging dur...