2909 search results - page 307 / 582 » Consistency of the theory of contexts |
176
click to vote
ICVS
2003
Springer
15 years 12 months ago
2003
Springer
This paper explores high-level scene interpretation with logic-based conceptual models. The main interest is in aggregates which describe interesting co-occurrences of physical obj...
150
click to vote
IS4TH
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The context of this research is the development of a pedagogical surgery simulator for colon cancer removal. More precisely, we would like to simulate the gesture which c...
187
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, eventtriggered and time-triggered task sets, which communicate ...
158
click to vote
VL
2002
IEEE
15 years 11 months ago
2002
IEEE
Research into the cognitive aspects of programming originated in the study of professional programmers (whether experts or students). Even “end-user” programmers in previous s...
196
click to vote
AISC
2010
Springer
15 years 11 months ago
2010
Springer
We introduce a new OpenMath content dictionary named “tensor1” containing symbols for the expression of tensor formulas. These symbols support the expression of non-Cartesian ...