2794 search results - page 232 / 559 » A New Architecture for Automated Modelling |
317
click to vote
FROCOS
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
445
Voted
LICS
2012
IEEE
13 years 9 months ago
2012
IEEE
—A novel countermodel-producing decision procedure that applies to several multi-modal logics, both intuitionistic and classical, is presented. Based on backwards search in label...
169
click to vote
NLPRS
2001
Springer
15 years 11 months ago
2001
Springer
The paper describes the design of a generation component for a spoken dialogue system. After discussing three existing models of generation, a model based on new information focus...
164
click to vote
DL
1998
Springer
15 years 11 months ago
1998
Springer
Previous models of dynamic querying supported by query previews have focussed on attribute based querying, have required information providers to create preview tables, and have p...
233
click to vote
EUROSYS
2010
ACM
16 years 28 days ago
2010
ACM
The deluge of huge data sets such as those provided by
sensor networks, online transactions, and the web provide
exciting opportunities for data analysis. The scale of the
data ...