1948 search results - page 210 / 390 » Formalizing Mirror Theory |
189
click to vote
RSKT
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. A fundamental data modeling problem in geographical information systems and spatial database systems refers to an appropriate treatment of the vagueness or indeterminacy ...
171
click to vote
ICECCS
2006
IEEE
16 years 19 days ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
171
click to vote
ML
2006
ACM
16 years 16 days ago
2006
ACM
We present an extension to Standard ML, called SMLSC, to support separate compilation. The system gives meaning to individual program fragments, called units. Units may depend on ...
139
click to vote
AIED
2005
Springer
16 years 4 days ago
2005
Springer
Politeness may play a role in tutorial interaction, including promoting learner motivation and avoiding negative affect. Politeness theory can account for this as a means of mitiga...
170
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
Many industrial or research activities are so expensive that it is often benefitable for the involved agents to cofund the construction or the purchase of a common required resou...