780 search results - page 89 / 156 » Compositional Quantitative Reasoning |
131
Voted
ICLP
2004
Springer
15 years 6 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
211
click to vote
GIS
2007
ACM
16 years 1 months ago
2007
ACM
We investigate the application of a new category of low-level image descriptors termed interest points to remote sensed image analysis. In particular, we compare how scale and rot...
191
Voted
GIS
2008
ACM
16 years 1 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 ...
101
click to vote
ICSE
2003
IEEE-ACM
16 years 24 days ago
2003
IEEE-ACM
The Unified Modeling Language (UML) has been widely accepted by application developers, but not so much by user interface (UI) designers. For this reason, the Unified Modeling Lan...
104
Voted
IAT
2008
IEEE
15 years 7 months ago
2008
IEEE
Many real–world information needs are naturally formulated as queries with temporal constraints. However, the structured temporal background information needed to support such c...