785 search results - page 105 / 157 » Automated Analysis of Feature Models Using Atomic Sets |
125
Voted
APSEC
2007
IEEE
15 years 9 months ago
2007
IEEE
Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as ...
123
Voted
JAIR
2007
15 years 2 months ago
2007
This paper introduces and analyzes a battery of inference models for the problem of semantic role labeling: one based on constraint satisfaction, and several strategies that model...
125
Voted
PR
2008
15 years 2 months ago
2008
Human gesture recognition plays an important role in automating the analysis of video material at a high level. Especially in sports videos, the determination of the player's...
121
Voted
MLMI
2005
Springer
15 years 8 months ago
2005
Springer
We address the problem of segmentation and recognition of sequences of multimodal human interactions in meetings. These interactions can be seen as a rough structure of a meeting, ...
140
Voted
CADE
2007
Springer
16 years 2 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...