Sciweavers

4650 search results - page 229 / 930
» Generating and evaluating evaluative arguments
Sort
View
ISPW
2007
IEEE
15 years 12 months ago
Comparative Experiences with Electronic Process Guide Generator Tools
The primary objective of all software engineering courses is to help students learn how to develop successful software systems with good software engineering practices. Various too...
Monvorath Phongpaibul, Supannika Koolmanojwong, Al...
ITNG
2007
IEEE
15 years 12 months ago
SERT: Software Tool for Generating Student Engagement Reports
Drawing on our previous work on survey and reporting tools that compare faculty expectations with what students report experiencing in class, this paper presents details of a new ...
Judith Ann Ouimet, Sermsak Buntha, Sergiu M. Dasca...
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
15 years 12 months ago
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
Doron Drusinsky, Man-tak Shing
ACCV
2007
Springer
15 years 11 months ago
Learning Generative Models for Monocular Body Pose Estimation
We consider the problem of monocular 3d body pose tracking from video sequences. This task is inherently ambiguous. We propose to learn a generative model of the relationship of bo...
Tobias Jaeggli, Esther Koller-Meier, Luc J. Van Go...
COMPSAC
2006
IEEE
15 years 11 months ago
Consensus Ontology Generation in a Socially Interacting MultiAgent System
This paper presents an approach for building consensus ontologies from the individual ontologies of a network of socially interacting agents. Each agent has its own conceptualizat...
Ergun Biçici