112 search results - page 10 / 23 » Efficient execution in an automated reasoning environment |
190
click to vote
GIS
2007
ACM
16 years 2 months ago
2007
ACM
This research reports on exploring analytical methodologies for spatio-temporal data of pedestrian egress dynamics in a crowded environment. The research objective is to spatially...
115
click to vote
GIS
2009
ACM
16 years 2 months ago
2009
ACM
We envision participatory texture documentation (PTD) as a process in which a group of users (dedicated individuals and/or general public) with camera-equipped mobile phones parti...
113
click to vote
BDA
2001
15 years 2 months ago
2001
The growth of Internet technologies has unleashed a wave of innovations that are having tremendous impact on the way organisations interact with their partners and customers. It h...
127
click to vote
PROCEDIA
2010
14 years 8 months ago
2010
One of the greatest challenges in computational chemistry is the design of enzymes to catalyze non-natural chemical reactions. We focus on harnessing the distributed parallel comp...
203
click to vote
GIS
2006
ACM
16 years 2 months ago
2006
ACM
Geography Markup Language (GML) is an XML-based language for the markup, storage, and exchange of geospatial data. It provides a rich geospatial vocabulary and allows flexible doc...