11436 search results - page 178 / 2288 » Modeling Real Reasoning |
137
click to vote
CACM
2010
15 years 3 months ago
2010
Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code, for concurrent data structures, operating syste...
138
click to vote
SEMWEB
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a method for rapid development of benchmarks for Semantic Web knowledge base systems. At the core, we have a synthetic data generation approach for OWL that is...
153
click to vote
SEMWEB
2005
Springer
15 years 8 months ago
2005
Springer
Information retrieval systems have to deal with uncertain knowledge and query results should reflect this uncertainty in some manner. However, Semantic Web ontologies are based on...
151
click to vote
BIOCOMP
2008
15 years 4 months ago
2008
Background: Inferring a gene regulatory network (GRN) from high throughput biological data is often an under-determined problem and is a challenging task due to the following reas...
113
click to vote
AOSD
2008
ACM
15 years 5 months ago
2008
ACM
There has been a lot of debate about the modularity of aspectoriented programs, and in particular the ability to reason about such programs in a modular way, although it has never...