4328 search results - page 435 / 866 » A New Kind of Science |
152
click to vote
SGP
2007
15 years 9 months ago
2007
We present an approach for elastic secondary deformations of shapes described as triangular meshes. The deformations are steered by the simulation of a low number of simple mass-s...
172
click to vote
AAAI
2007
15 years 9 months ago
2007
What reasoning patterns do agents use to choose their actions in games? This paper studies this question in the context of Multi-Agent Influence Diagrams (MAIDs). It defines sev...
163
click to vote
WSC
2008
15 years 9 months ago
2008
Mathematical models are often described by multivariate functions, which are usually approximated by a sum of lower dimensional functions. A major problem is the approximation err...
189
click to vote
CAISE
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Today, companies are immersed in extremely competitive worldwide markets that change continuously. Thus, companies have to evolve introducing strategic and structural cha...
193
click to vote
APN
2006
Springer
15 years 9 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...