1257 search results - page 116 / 252 » Simplifying spline models |
148
click to vote
AMAI
2006
Springer
15 years 3 months ago
2006
Springer
The theorem on loop formulas due to Fangzhen Lin and Yuting Zhao shows how to turn a logic program into a propositional formula that describes the program's stable models. In...
169
click to vote
ENTCS
2006
15 years 3 months ago
2006
Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interfac...
142
Voted
AAAI
2011
14 years 3 months ago
2011
Analogy is heavily used in instructional texts. We introduce the concept of analogical dialogue acts (ADAs), which represent the roles utterances play in instructional analogies. ...
123
Voted
WSC
2007
15 years 5 months ago
2007
Machine failure is often an important factor in throughput of manufacturing systems. To simplify the inputs to the simulation model for complex machining and assembly lines, we ha...
133
Voted
SMA
2010
ACM
15 years 3 months ago
2010
ACM
Electrophysiological modeling of dendrites and other neurological processes is generally done in a simplified manner, by treating these structures as a series of cylinders (aka ca...