111 search results - page 21 / 23 » Combined Decision Techniques for the Existential Theory of t... |
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
OOPSLA
2005
Springer
14 years 24 days ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
IFIP12
2004
13 years 8 months ago
2004
: The experience from years of development and use, the advance of technology, and the development of authoring tools for questions and tests has resulted in a sophisticated, compu...
CCGRID
2009
IEEE
13 years 11 months ago
2009
IEEE
In large-scale clusters and computational grids, component failures become norms instead of exceptions. Failure occurrence as well as its impact on system performance and operatio...
CSDA
2008
13 years 7 months ago
2008
Tree models are valuable tools for predictive modeling and data mining. Traditional tree-growing methodologies such as CART are known to suffer from problems including greediness,...