7167 search results - page 877 / 1434 » Answer Set Programming |
116
click to vote
VMCAI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
127
Voted
SIGCSE
2006
ACM
15 years 11 months ago
2006
ACM
Teaching introductory programming today presents considerable challenges, which traditional techniques do not properly address. Students start with a wide variety of backgrounds a...
116
Voted
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
—Multi-project wafer (MPW) is commonly used for low-volume IC production. In this paper, we study whether it can be used for medium-volume production. Cost equations are develope...
141
Voted
ISWC
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper describes our first experiments in developing kinetic electronic garments, within the context of fashion and personal expression. We have integrated the shape memory al...
133
Voted
CP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Subquadrangles are a natural way in which to represent constraints as they do not restrict any subset of their scope. There are already known methods for converting any g...