2302 search results - page 150 / 461 » Testing as Abstraction |
165
click to vote
GW
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Why an iconic gesture takes its particular form is a largely open question, given the variations one finds across both situations and speakers. We present results of an e...
193
click to vote
CCIA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper we introduce an agent architecture for joint action negotiation among several agents in complex environments and with negotiation time bounds. The architect...
159
click to vote
MOC
2010
15 years 1 months ago
2010
Abstract. Many key algorithms in 3-manifold topology involve the enumeration of normal surfaces, which is based upon the double description method for finding the vertices of a con...
172
click to vote
SIAMNUM
2010
15 years 1 months ago
2010
Abstract. In [9], we introduced and analyzed a recovery-based a posteriori error estimator for conforming linear finite element approximation to interface problems. It was shown th...
173
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...