4636 search results - page 484 / 928 » Modelling and Validation with VipTool |
214
click to vote
ICCAD
2007
IEEE
15 years 11 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
186
click to vote
CSB
2004
IEEE
15 years 10 months ago
2004
IEEE
Researchers, hindered by a lack of standard gene and protein-naming conventions, endure long, sometimes fruitless, literature searches. A system is described which is able to auto...
170
click to vote
AFRIGRAPH
2001
ACM
15 years 10 months ago
2001
ACM
Three dimensional computer reconstruction provides us with a means of visualising past environments, allowing us a glimpse of the past that might otherwise be difficult to appreci...
205
click to vote
WSC
2007
15 years 9 months ago
2007
Emergent behaviors in simulations require explanation, so that valid behaviors can be separated from design or coding errors. We present a taxonomy, to be applied to emergent beha...
190
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Automated modeling of appropriate and valid document descriptions is a central issue for the benefit and success of an ontologybased personal document management system. ...