11345 search results - page 1724 / 2269 » Foundations of Computer Science |
170
click to vote
EUROGP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Turing machines are playing an increasingly significant role in Computer Science domains such as bioinformatics. Instead of directly formulating a solution to a problem, ...
159
click to vote
EWCBR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The Web is a vibrant environment for innovation in computer science, AI, and social interaction; these innovations come in such great number and speed that it is unlikely...
155
click to vote
FM
2008
Springer
15 years 7 months ago
2008
Springer
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
133
click to vote
AAAI
2010
15 years 7 months ago
2010
Cake cutting is a common metaphor for the division of a heterogeneous divisible good. There are numerous papers that study the problem of fairly dividing a cake; a small number of...
149
click to vote
AAAI
2010
15 years 7 months ago
2010
Quantitative modeling plays a key role in the natural sciences, and systems that address the task of inductive process modeling can assist researchers in explaining their data. In...