1236 search results - page 114 / 248 » Efficient Interpretation Policies |
TIC
2000
Springer
14 years 16 days ago
2000
Springer
Singleton kinds provide an elegant device for expressing type equality information resulting from modern module languages, but they can severely complicate the metatheory of langu...
DAIS
2007
13 years 10 months ago
2007
Abstract. Ubiquitous computing environments are characterised by a high number of heterogenous devices that generate a huge amount of context data. These data are used, for example...
NLUCS
2008
13 years 10 months ago
2008
Increasingly, medical institutions have access to clinical information through computers. The need to process and manage the large amount of data is motivating the recent interest ...
RSS
2007
13 years 10 months ago
2007
— This paper concerns context and feature-sensitive re-sampling of workspace surfaces represented by 3D point clouds. We interpret a point cloud as the outcome of repetitive and ...
CLIMA
2004
13 years 10 months ago
2004
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...