2162 search results - page 115 / 433 » Automated Reasoning on Feature Models |
148
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: The rapid proliferation of biomedical text makes it increasingly difficult for researchers to identify, synthesize, and utilize developed knowledge in their fields of ...
140
click to vote
ILP
2003
Springer
15 years 9 months ago
2003
Springer
In many data mining tools that support regression tasks, training data are stored in a single table containing both the target field (dependent variable) and the attributes (indepe...
262
click to vote
LPNMR
2011
Springer
14 years 6 months ago
2011
Springer
Communicating answer set programming is a framework to represent and reason about the combined knowledge of multiple agents using the idea of stable models. The semantics and expre...
129
click to vote
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...
229
click to vote
GIS
2003
ACM
16 years 4 months ago
2003
ACM
Location-Based Services (LBSs) utilize information about users' locations through location-aware mobile devices to provide services, such as nearest features of interest, the...