Sciweavers

419 search results - page 60 / 84
» Succincter
Sort
View
INTERACT
2003
14 years 11 months ago
What Makes a Good Answer? The Role of Context in Question Answering
: Question answering systems have proven to be helpful to users because they can provide succinct answers that do not require users to wade through a large number of documents. How...
Jimmy J. Lin, Dennis Quan, Vineet Sinha, Karun Bak...
AAAI
2008
14 years 10 months ago
Reasoning about Large Taxonomies of Actions
We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to...
Yilan Gu, Mikhail Soutchanski
BIRTHDAY
2010
Springer
14 years 10 months ago
DKAL and Z3: A Logic Embedding Experiment
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
Sergio Mera, Nikolaj Bjørner
CSIE
2009
IEEE
14 years 10 months ago
On Test Script Technique Oriented Automation of Embedded Software Simulation Testing
Succinct test script with high efficiency is one of key point for automation of embedded software testing. In this paper, we integrated object technique with automated simulation ...
Yongfeng Yin, Bin Liu, Bentao Zheng
ICML
2010
IEEE
14 years 10 months ago
Continuous-Time Belief Propagation
Many temporal processes can be naturally modeled as a stochastic system that evolves continuously over time. The representation language of continuous-time Bayesian networks allow...
Tal El-Hay, Ido Cohn, Nir Friedman, Raz Kupferman