2519 search results - page 365 / 504 » Reasoning with Textual Cases |
138
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
168
click to vote
TARK
2007
Springer
15 years 10 months ago
2007
Springer
We investigate the discrete (finite) case of the Popper-Renyi theory of conditional probability, introducing discrete conditional probabilistic models for (multi-agent) knowledge...
152
click to vote
VLDB
2007
ACM
15 years 10 months ago
2007
ACM
Efficient management of RDF data is an important factor in realizing the Semantic Web vision. Performance and scalability issues are becoming increasingly pressing as Semantic Web...
122
Voted
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Multitasking on reconfigurable logic can achieve very high silicon reusability. However, configuration latency is a major limitation and it can largely degrade the system performa...
122
click to vote
DSD
2006
IEEE
15 years 10 months ago
2006
IEEE
— An on-chip communication network is most power efficient when it operates just below the saturation point. For any given traffic load the network can be operated in this regi...