6020 search results - page 946 / 1204 » A New Approach to Model Counting |
217
click to vote
ACL
2010
15 years 4 months ago
2010
Open-ended spoken interactions are typically characterised by both structural complexity and high levels of uncertainty, making dialogue management in such settings a particularly...
196
click to vote
IEEEHPCS
2010
15 years 4 months ago
2010
Stream languages explicitly describe fork-join parallelism and pipelines, offering a powerful programming model for many-core Multi-Processor Systems on Chip (MPSoC). In an embedd...
168
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
The majority of CPUs now sold contain multiple computing cores. However, current desktop grid computing systems either ignore the multiplicity of cores, or treat them as distinct,...
188
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
The Web of Linked Data is characterized by linking structured data from different sources using equivalence statements, such as owl:sameAs, as well as other types of linked propert...
187
click to vote
GRAPHICSINTERFACE
2009
15 years 4 months ago
2009
When editing a graphical document, it is common to apply a change to multiple items at once, and a variety of tools exist for selecting sets of items. However, directly selecting ...