892 search results - page 123 / 179 » Strategies in sentential reasoning |
181
Voted
VLDB
2007
ACM
16 years 29 days ago
2007
ACM
In order to optimize their revenues and profits, an increasing number of businesses organize their business activities in terms of business processes. Typically, they automate imp...
118
Voted
ICFP
2008
ACM
16 years 21 days ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...
93
Voted
CSCW
2010
ACM
15 years 9 months ago
2010
ACM
Most studies of plans and situated work have applied ethnographic methods and and thus fail to provide any quantitative insight into the extent of this phenomenon. We present a st...
104
Voted
PDP
2010
IEEE
15 years 7 months ago
2010
IEEE
— Due to the multi-core processors, the importance of parallel workloads has increased considerably. However, manycore chips demand new interconnection strategies, since traditio...
104
click to vote
CHI
2010
ACM
15 years 7 months ago
2010
ACM
Video conferencing is a technology that families and friends use to connect with each other over distance. However, even with such technology readily available, we still do not ha...