835 search results - page 152 / 167 » Geometric Logic in Computer Science |
161
click to vote
BTW
2009
Springer
16 years 14 days ago
2009
Springer
: Database schemas are used to describe the logical design of a database. Diverse groups of users have different perspectives on the schema which leads to different local schemas. ...
157
click to vote
FSTTCS
2009
Springer
16 years 14 days ago
2009
Springer
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
143
click to vote
LICS
2008
IEEE
16 years 9 days ago
2008
IEEE
We propose a setting in which the search for a proof of B or a refutation of B (a proof of ¬B) can be carried out simultaneously: this is in contrast to the usual approach in aut...
144
click to vote
HICSS
2007
IEEE
16 years 7 days ago
2007
IEEE
— Bayesian networks play a key role in decision support within health care. Physicians rely on Bayesian networks to give medical treatment, generate what-if scenarios, and other ...
142
click to vote
LICS
2007
IEEE
16 years 5 days ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...