Sciweavers

5352 search results - page 285 / 1071
» Modeling the socio-cultural context
Sort
View
ICVS
2003
Springer
15 years 12 months ago
Navigating through Logic-Based Scene Models for High-Level Scene Interpretations
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...
Bernd Neumann, Thomas Weiss
DATE
2002
IEEE
86views Hardware» more  DATE 2002»
15 years 11 months ago
A Layered, Codesign Virtual Machine Approach to Modeling Computer Systems
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
JoAnn M. Paul, Donald E. Thomas
VL
2002
IEEE
104views Visual Languages» more  VL 2002»
15 years 11 months ago
First Steps in Programming: A Rationale for Attention Investment Models
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...
Alan F. Blackwell
FMICS
2007
Springer
15 years 10 months ago
Model Classifications and Automated Verification
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...
Radek Pelánek
DAGM
2006
Springer
15 years 10 months ago
Model Selection in Kernel Methods Based on a Spectral Analysis of Label Information
Abstract. We propose a novel method for addressing the model selection problem in the context of kernel methods. In contrast to existing methods which rely on hold-out testing or t...
Mikio L. Braun, Tilman Lange, Joachim M. Buhmann