7623 search results - page 493 / 1525 » Constructive Volume Modeling |
176
click to vote
EDM
2008
15 years 8 months ago
2008
One of the unresolved problems faced in the construction of intelligent tutoring systems is the acquisition of background knowledge, either for the specification of the teaching st...
176
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
We motivate and define a category of topological domains, whose objects are certain topological spaces, generalising the usual -continuous dcppos of domain theory. Our category su...
177
click to vote
EUROPLOP
2006
15 years 8 months ago
2006
Relationships between objects are almost as important to designs as the objects themselves. Most programming languages do not support relationships well, so programmers must imple...
165
click to vote
CIC
2003
15 years 8 months ago
2003
- Electronic textiles (e-textiles) are emerging as a novel method for constructing electronic systems in wearable and large area applications. This new type of processing system me...
145
click to vote
APAL
2007
15 years 7 months ago
2007
Non-well-founded trees are used in mathematics and computer science, for modelling non-well-founded sets, as well as non-terminating processes or infinite data structures. Catego...