897 search results - page 14 / 180 » Identity: How to name it, How to find it |
COSIT
2005
Springer
14 years 2 months ago
2005
Springer
In previous empirical work humans did not recognize the definition of most topological operators for regions by their names in two geospatial information systems (GIS). This work d...
ICCAD
1997
IEEE
14 years 25 days ago
1997
IEEE
Presynthesis optimizations transform a behavioral HDL description into an optimized HDL description that results in improved synthesis results. In this paper we introduce the decom...
CALCO
2005
Springer
14 years 2 months ago
2005
Springer
In the specific situation of formal reasoning concerned with “regular expression equivalence” we address instances of more general questions such as: how can coinductive argum...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
: This work deals with a classic problem: "Given a set of coins among which there is a counterfeit coin of a different weight, find this counterfeit coin using ordinary balanc...
JDCTA
2010
13 years 3 months ago
2010
Digital signage, sometimes known as a Digital Communications Network (DCN) or private plasma screen network, has been little researched to date. This paper puts forward the view t...