2909 search results - page 307 / 582 » Consistency of the theory of contexts |
197
click to vote
ICVS
2003
Springer
16 years 22 days 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...
172
click to vote
IS4TH
2003
Springer
16 years 22 days 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...
220
click to vote
CODES
2002
IEEE
16 years 15 days 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 ...
181
Voted
VL
2002
IEEE
16 years 13 days 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...
221
click to vote
AISC
2010
Springer
16 years 10 days 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 ...