Sciweavers

92 search results - page 11 / 19
» Computational Models of Language Within Context and Context-...
Sort
View
SIGGRAPH
1997
ACM
15 years 1 months ago
Anatomy-based modeling of the human musculature
Artists study anatomy to understand the relationship between exterior form and the structures responsible for creating it. In this paper we follow a similar approach in developing...
Ferdi Scheepers, Richard E. Parent, Wayne E. Carls...
KI
2004
Springer
15 years 2 months ago
Model Based Deduction for Database Schema Reasoning
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
Peter Baumgartner, Ulrich Furbach, Margret Gro&szl...
ENTCS
2006
176views more  ENTCS 2006»
14 years 9 months ago
Gauss: A Framework for Verifying Scientific Computing Software
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopal...
98
Voted
SBP
2011
Springer
14 years 4 months ago
Using Web-Based Knowledge Extraction Techniques to Support Cultural Modeling
The World Wide Web is a potentially valuable source of information about the cognitive characteristics of cultural groups. However, attempts to use the Web in the context of cultur...
Paul R. Smart, Winston R. Sieck, Nigel R. Shadbolt
ICFP
2003
ACM
15 years 9 months ago
Software is discrete mathematics
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
Rex L. Page