34229 search results - page 235 / 6846 » Power-aware computing systems |
125
click to vote
EACL
1989
ACL Anthology
15 years 5 months ago
1989
ACL Anthology
Although the formalisms normally used for describing the semantics of natural languages are far from computationally tractable, it is possible to isolate particular semantic pheno...
154
Voted
ASSETS
2010
ACM
15 years 4 months ago
2010
ACM
We present a study focusing on the usability of a wayfinding and localization system for persons with visual impairment. This system uses special color markers, placed at key loca...
116
click to vote
BIB
2010
15 years 4 months ago
2010
The inherent complexity of biomedical systems is well recognized; they are multi-scale, multi-science systems, bridging a wide range of temporal and spatial scales. This article r...
125
click to vote
FGCS
2000
15 years 3 months ago
2000
With a heavy emphasis on distribution and reuse, web-based simulation portends a dramatic shift in the application of simulation as a problem-solving technique and decision-suppor...
140
click to vote
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
This paper describes a project that aims at showing that propositional proofs of certain tautologies in weak proof system give upper bounds on the computational complexity of func...