5393 search results - page 676 / 1079 » Spatial Computing with Labels |
187
Voted
MFCS
2009
Springer
16 years 2 months ago
2009
Springer
In a data word or a data tree each position carries a label from a finite alphabet and a data value from an infinite domain. Over data words we consider the logic LTL↓ 1(F), th...
181
Voted
MFCS
2009
Springer
16 years 2 months ago
2009
Springer
We consider finite graphs whose edges are labeled with elements, called colors, taken from a fixed finite alphabet. We study the problem of determining whether there is an infi...
226
click to vote
SPIN
2009
Springer
16 years 2 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
206
Voted
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
We describe a method to retrieve images found on web pages with specified object class labels, using an analysis of text around the image and of image appearance. Our method dete...
204
click to vote
DFT
2008
IEEE
16 years 1 months ago
2008
IEEE
Integrated circuits (IC) targeting at the streaming applications for tomorrow are becoming a fast growing market. Applications such as beamforming require mass computing capabilit...