8676 search results - page 469 / 1736 » Reconciling Feature Modeling: A Feature Modeling Metamodel |
220
click to vote
3DIM
2003
IEEE
15 years 10 months ago
2003
IEEE
Precise digital 3D models of indoor environments are needed in several applications, e.g., facility management, architecture, rescue and inspection robotics. This paper presents a...
172
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
This paper describes the formal modeling and analysis of a design for a flash-based filesystem in Alloy. We model the basic operations of a filesystem as well as features that are ...
168
click to vote
GPC
2010
Springer
15 years 8 months ago
2010
Springer
This paper advocated the use of ontology-supported website models to provide a semantic level solution for an information agent so that it can provide fast, precise, and stable que...
179
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
— On current superscalar processors, performance and power issues cannot be decoupled for designers. Extensive simulations are usually required to meet both power and performance...
183
click to vote
EMNLP
2007
15 years 8 months ago
2007
We use a generative history-based model to predict the most likely derivation of a dependency parse. Our probabilistic model is based on Incremental Sigmoid Belief Networks, a rec...