- Referenced in 2 articles
- representation tool is used the Conceptual Structures Representation Language (CSRL), designed to facilitate the construction...
- Referenced in 655 articles
- ANSYS offers a comprehensive software suite that spans...
- Referenced in 5040 articles
- The result of over 30 years of cutting...
- Referenced in 12074 articles
- MATLAB® is a high-level language and interactive...
- Referenced in 32 articles
- This book offers an introduction to Natural Language...
- Referenced in 291 articles
- ALGOL 68 (short for ALGOrithmic Language 1968) is...
- Referenced in 189 articles
- Smalltalk is an object-oriented, dynamically typed, reflective...
- Referenced in 42 articles
- CoFI: The common framework initiative for algebraic specification...
- Referenced in 392 articles
- WordNet® is a large lexical database of English...
- Referenced in 170 articles
- GOLOG: A logic programming language for dynamic domains...
- Referenced in 70 articles
- Integrity constraints in the multi-paradigm language PROGRES...
- Referenced in 71 articles
- Constraint-Based Local Search. The ubiquity of combinatorial...
- Referenced in 172 articles
- SDPA (SemiDefinite Programming Algorithm)” is one of the...
- Referenced in 39 articles
- Communication protocols for mathematical services based on KQML...
- Referenced in 290 articles
- Eiffel is an ISO-standardized, object-oriented programming...
- Referenced in 1175 articles
- SeDuMi is a Matlab toolbox for solving optimization...
- Referenced in 609 articles
- This software is designed to solve conic programming...
- Referenced in 3041 articles
- UC Irvine Machine Learning Repository. We currently maintain...
- Referenced in 295 articles
- NuSMV is a symbolic model checker developed as...
- Referenced in 624 articles
- SPSS is a computer program used for survey...