3771 search results - page 287 / 755 » Process modeling for future technologies |
228
Voted
GIS
2008
ACM
16 years 5 months ago
2008
ACM
Many aspects of spatial language concerned with relationships between spatial entities are essentially vague. Current GIS technology provides very little support for dealing with ...
131
click to vote
CHI
2008
ACM
16 years 5 months ago
2008
ACM
In this paper we describe Surflex, a programmable surface for the design and visualization of physical forms. Surflex combines the physical properties of shape-memory alloy and fo...
126
Voted
ELPUB
2006
ACM
15 years 10 months ago
2006
ACM
The JISC Information Environment Service Registry (IESR) contains descriptions of collections of resources available to researchers, learners and teachers in the UK, along with te...
124
click to vote
INEX
2005
Springer
15 years 10 months ago
2005
Springer
This is the first year for the Centre for Interactive Systems Research participation of INEX. Based on a newly developed XML indexing and retrieval system on Okapi, we extend Robe...
139
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...