10285 search results - page 371 / 2057 » Composing Feature Models |
206
click to vote
ATVA
2007
Springer
16 years 29 days ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
166
click to vote
UM
2010
Springer
15 years 12 months ago
2010
Springer
A Knowledge Worker (KW) uses her computer to perform different tasks for which she gathers and uses information from disparate sources such as the Web and e-mail, and creates new ...
177
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as a formula of “a doma...
169
click to vote
AIIA
2003
Springer
15 years 10 months ago
2003
Springer
A novel, two stage, neural architecture for the segmentation of range data and their modeling with undeformed superquadrics is presented. The system is composed by two distinct neu...
153
click to vote
LREC
2010
15 years 8 months ago
2010
In this paper we describe two geometrical models of meaning representation, the Semantic Atlas (SA) and the Automatic Contexonym Organizing Model (ACOM). The SA provides maps of m...