7580 search results - page 1472 / 1516 » Prometheus design tool |
141
click to vote
COCO
2010
Springer
15 years 8 months ago
2010
Springer
The last decade has seen a revival of interest in pebble games in the context of proof complexity. Pebbling has proven to be a useful tool for studying resolution-based proof syst...
131
click to vote
KDD
2010
ACM
15 years 8 months ago
2010
ACM
At Google, experimentation is practically a mantra; we evaluate almost every change that potentially affects what our users experience. Such changes include not only obvious user-...
139
click to vote
ESEM
2007
ACM
15 years 8 months ago
2007
ACM
In the foreseeable future, software testing will remain one of the best tools we have at our disposal to ensure software dependability. Empirical studies are crucial to software t...
142
click to vote
SIGMOD
2010
ACM
15 years 8 months ago
2010
ACM
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
143
click to vote
GREC
2007
Springer
15 years 8 months ago
2007
Springer
Computer understanding of visual languages in pen-based environments requires a combination of lexical analysis in which the basic tokens are recognized from hand-drawn gestures an...