Sciweavers

970 search results - page 104 / 194
» Dynamics and Automaticity of Context: A Cognitive Modeling A...
Sort
View
WSCG
2004
148views more  WSCG 2004»
15 years 3 months ago
Visualization of Dynamic Behaviour of Multi-Agent Systems
The extension of our research on analysis of a single agent or agent communities combining advanced methods of visualization with traditional AI techniques is presented in this pa...
David Rehor, Pavel Slavík, David Kadlecek, ...
ICCV
1999
IEEE
16 years 3 months ago
Classification of Human Body Motion
The classification of human body motion is a difficult problem. In particular, the automatic segmentation of sequences containing more than one class of motion is challenging. An ...
Jens Rittscher, Andrew Blake
GLVLSI
2009
IEEE
150views VLSI» more  GLVLSI 2009»
15 years 8 months ago
Contradictory antecedent debugging in bounded model checking
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
Daniel Große, Robert Wille, Ulrich Kühn...
HASE
2007
IEEE
15 years 8 months ago
Analytic Model for Web Anomalies Classification
In this paper, an analytic technique is proposed to improve the dynamic web application quality and reliability. The technique integrates orthogonal defect classification (ODC), a...
Nasser Alaeddine, Jeff Tian
101
Voted
SPLC
2008
15 years 3 months ago
A Marriage of MDD and Early Aspects in Software Product Line Development
Model-driven development (MDD) shifts the development focus from code to models, allowing automatic or assisted transformations that are able to generate more refined, detailed or...
Thaís Vasconcelos Batista, M. Cecilia Basta...