11345 search results - page 1615 / 2269 » Foundations of Computer Science |
174
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
The problem of expressing and solving satisfiability problems (SAT) with qualitative preferences is central in many areas of Computer Science and Artificial Intelligence. In previo...
175
click to vote
TOG
2008
15 years 7 months ago
2008
We introduce a real-time interactive visual editing paradigm for shape grammars, allowing the creation of rulebases from scratch without text file editing. In previous work, shape...
162
click to vote
IPPS
2010
IEEE
15 years 5 months ago
2010
IEEE
Parallel I/O is fast becoming a bottleneck to the research agendas of many users of extreme scale parallel computers. The principle cause of this is the concurrency explosion of hi...
181
click to vote
DSRT
2009
IEEE
15 years 4 months ago
2009
IEEE
Computer simulation is an important factor in today's disaster prevention procedures. Simulation codes assess the evolution and impact of various physical phenomena in domains...
205
click to vote
HUC
2011
Springer
14 years 6 months ago
2011
Springer
A key challenge of data-driven social science is the gathering of high quality multi-dimensional datasets. A second challenge relates to design and execution of structured experim...