671 search results - page 100 / 135 » Computer Aided Modelling Exercises |
EUROPAR
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Algorithmic skeletons correspond to a high-level programming model that takes advantage of nestable programming patterns to hide the complexity of parallel/distributed ap...
GECCO
2007
Springer
14 years 3 months ago
2007
Springer
In many industrial applications the need for an efficient and high-quality reconstruction of free-form surfaces does exist. Surface Reconstruction – the generation of CAD models...
GLVLSI
2005
IEEE
14 years 3 months ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
MM
2004
ACM
14 years 3 months ago
2004
ACM
Information gathering from multimedia retrieval systems is aided by effective visualization, but the degree to which visualization is effective depends in part on the way the cont...
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
Abstract—Current techniques towards information security have limited capabilities to detect and counter attacks that involve different kinds of masquerade and spread of misinfor...