7049 search results - page 1096 / 1410 » Data Abstraction for CSP-OZ |
149
click to vote
BVAI
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. End-stopped cells in cortical area V1, which combine outputs of complex cells tuned to different orientations, serve to detect line and edge crossings (junctions) and po...
143
click to vote
CAIP
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. This paper presents a color filter array (CFA) image indexing approach. To enhance the functionality of single-sensor consumer electronics such as digital cameras, imagi...
170
click to vote
CAISE
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. The increasing need for device independence and personalization forces organizations to automatically adapt their Web Information Systems (WISs) to individual users and t...
171
click to vote
CAISE
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Recently, the database and AI research communities have paid increased attention to ontologies. The main motivating reason is that ontologies promise solutions for comple...
155
click to vote
CAV
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...