Sciweavers

4944 search results - page 348 / 989
» From XML to Relational Models
Sort
View
TFM
2009
Springer
136views Formal Methods» more  TFM 2009»
16 years 1 months ago
On Teaching Formal Methods: Behavior Models and Code Analysis
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
Jan Kofron, Pavel Parizek, Ondrej Sery
CONTEXT
2007
Springer
16 years 29 days ago
Context Modeling: Context as a Dressing of a Focus
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...
Juliette Brézillon, Patrick Brézillo...
HCI
2007
15 years 8 months ago
Modeling Content and Expression of Learning Objects in Multimodal Learning Management Systems
The paper discusses the relation between accessibility and multimodality of learning objects. I present a framework, rooted in linguistics, that supports a clear distinction betwee...
Giorgio Brajnik
ECIS
2001
15 years 8 months ago
Towards a theory of architectural knowledge integration capability: A test of an empirical model in e-business project teams
Knowledge is now recognized as the key differentiating resource among firms. The ability to integrate widely held knowledge to derive new products and services constitutes a meta-...
Amrit Tiwana, Ephraim R. McLean
CVPR
1998
IEEE
16 years 8 months ago
Motion Feature Detection Using Steerable Flow Fields
The estimation and detection of occlusion boundaries and moving bars are important and challenging problems in image sequence analysis. Here, we model such motion features as line...
David J. Fleet, Michael J. Black, Allan D. Jepson