2162 search results - page 32 / 433 » Automated Reasoning on Feature Models |
117
click to vote
BELL
2000
15 years 1 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
116
click to vote
CIVR
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes a simple framework for automatically annotating images using non-parametric models of distributions of image features. We show that under this framework quite ...
129
click to vote
DLOG
2003
15 years 3 months ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
102
click to vote
LPAR
2001
Springer
15 years 6 months ago
2001
Springer
A simple model of dynamic databases is studied from a modal logic perspecitve. A state α of a database is an atomic update of a state β if at most one atomic statement is evaluat...
132
click to vote
JSW
2008
15 years 1 months ago
2008
Automated negotiation is an important applying field of agent theory and technology. For the current agent theoretical models have some troubles in explaining the agent's nego...