2586 search results - page 461 / 518 » Automatic Abstraction for Congruences |
DIS
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. One of the main goals of Discovery Science is the development and analysis of methods for automatic knowledge discovery in the natural sciences. A central area of natural...
KES
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Producing plays, films or animations is a complex and expensive process involving various professionals and media. Our proposed software system, SceneMaker, aims to faci...
TSD
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Evaluation is one of the hardest tasks in automatic text summarization. It is perhaps even harder to determine how much a particular component of a summarization system c...
EMSOFT
2010
Springer
14 years 7 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
111
click to vote
AICS
2009
14 years 7 months ago
2009
Abstract. Producing plays, films or animations is a complex and expensive process involving various professionals and media. Our proposed software system, SceneMaker, aims to facil...