644 search results - page 76 / 129 » Heading in the Right Direction |
106
click to vote
SPATIALCOGNITION
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Across cultures, people conceptualize time as if it flows along a horizontal timeline, but the direction of this implicit timeline is culture-specific: in cultures with l...
116
click to vote
DSS
2002
14 years 11 months ago
2002
Recent research has sought to develop formal languages for business communication as more expressive, flexible and powerful alternatives to current electronic data interchange (ED...
117
click to vote
JEI
2010
14 years 6 months ago
2010
Mosaic images are captured by a single charge-coupled device/complementary metal-oxide-semiconductor (CCD/CMOS) sensor with the Bayer color filter array. We present a new qualityef...
TCS
2010
14 years 6 months ago
2010
The main idea for interpreting concurrent processes as labelled precubical sets is that a given set of n actions running concurrently must be assembled to a labelled ncube, in exac...
POPL
2010
ACM
15 years 9 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...