1536 search results - page 26 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
156
Voted
IJCAI
2001
15 years 3 months ago
2001
Supervised and unsupervised learning methods have traditionally focused on data consisting of independent instances of a single type. However, many real-world domains are best des...
156
click to vote
JELIA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
124
click to vote
RECOMB
2005
Springer
16 years 2 months ago
2005
Springer
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...
104
Voted
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reï...
133
Voted
ACL
2012
13 years 4 months ago
2012
Most information extraction (IE) systems identify facts that are explicitly stated in text. However, in natural language, some facts are implicit, and identifying them requires â€...