3564 search results - page 419 / 713 » Evaluating a Formal Modelling Language |
115
click to vote
EMNLP
2009
15 years 1 months ago
2009
Mitchell et al. (2008) demonstrated that corpus-extracted models of semantic knowledge can predict neural activation patterns recorded using fMRI. This could be a very powerful te...
146
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
An important issue for the Semantic Web is how to combine open-world ontology languages with closed-world (non-monotonic) rule paradigms. Several proposals for hybrid languages all...
143
Voted
PEPM
2007
ACM
15 years 10 months ago
2007
ACM
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
150
Voted
POPL
2010
ACM
16 years 1 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
145
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...