2162 search results - page 192 / 433 » Automated Reasoning on Feature Models |
134
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
A game semantics of the (−−∗, →)-fragment of the logic of bunched implications, BI, is presented. To date, categorical models of BI have been restricted to two kinds: funct...
128
click to vote
RTCSA
2006
IEEE
15 years 10 months ago
2006
IEEE
The modeling approach is not used to its full potential in maintenance of legacy systems. Often, models do not even exist. The main reasons being that the economic implications an...
224
click to vote
GIS
2008
ACM
16 years 5 months ago
2008
ACM
Commercial aerial imagery websites, such as Google Maps, MapQuest, Microsoft Virtual Earth, and Yahoo! Maps, provide high- seamless orthographic imagery for many populated areas, ...
148
click to vote
ICML
2000
IEEE
16 years 5 months ago
2000
IEEE
Decision-theoretic reasoning and planning algorithms are increasingly being used for mobile robot navigation, due to the signi cant uncertainty accompanying the robots' perce...
111
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
In this paper, we systematically define three transaction level TLMs), which reside at different levels of abstraction between the functional and the implementation model of a DSP...