8196 search results - page 418 / 1640 » Computational Modeling and Complexity Science |
232
click to vote
SPIN
2004
Springer
16 years 4 days ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
190
Voted
CAD
2006
Springer
15 years 6 months ago
2006
Springer
For users of CAD data, few things are as frustrating as receiving unusable, poor quality data. Users often waste time fixing or rebuilding such data from scratch on the basis of p...
164
click to vote
SIGCSE
2009
ACM
16 years 7 months ago
2009
ACM
Can engaging students in free and open source software (FOSS) pique their interest in computer science? This paper describes an introductory computer science course that introduce...
154
click to vote
CSIE
2009
IEEE
16 years 1 months ago
2009
IEEE
Building a model using machine learning that can classify the sentiment of natural language text often requires an extensive set of labeled training data from the same domain as t...
218
click to vote
GI
2007
Springer
16 years 29 days ago
2007
Springer
: Agent-based simulation can be viewed as methodical advancement and generalization of microscopic modelling styles in object-oriented and discrete event simulation well suited for...