4814 search results - page 389 / 963 » Combining abstract interpreters |
147
click to vote
MKM
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. In previous papers we described the implementation of a system which combines mathematical object generation, transformation and filtering, conjecture generation, provin...
179
click to vote
PADL
2007
Springer
16 years 28 days ago
2007
Springer
Abstract The Haskell String type is notoriously inefficient. We introduce a new data type, ByteString, based on lazy lists of byte arrays, combining the speed benefits of strict a...
186
click to vote
SG
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. NPR Lenses is an interactive technique for producing expressive non-photorealistic renderings. It provides an intuitive visual interaction tool for illustrators, allowing...
170
click to vote
IJCNN
2006
IEEE
16 years 25 days ago
2006
IEEE
Abstract— Prediction of natural gas consumption is an important element in gas load management aimed to better utilize the facilities of a gas distribution system. The major chal...
232
click to vote
AH
2006
Springer
16 years 24 days ago
2006
Springer
Abstract. The PULSE project objectives are to generate and evaluate a webbased personalized educational intervention for the management of cardiovascular risk. We present a web-bas...