381 search results - page 56 / 77 » Two-Variable Logic with Two Order Relations - (Extended Abst... |
JLP
2008
15 years 1 months ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...
124
click to vote
FLAIRS
2007
15 years 3 months ago
2007
The basic aim of the model proposed here is to automatically build semantic metatext structure for texts that would allow us to search and extract discourse and semantic informati...
116
click to vote
EUSFLAT
2009
14 years 11 months ago
2009
Abstract-- An L-fuzzy context is a triple consisting of a set of objects, a set of attributes and an L-fuzzy binary relation between them. An l-cut is a classical context over the ...
100
click to vote
LCN
2007
IEEE
15 years 7 months ago
2007
IEEE
— GRSB - Guaranteed, Reliable, Secure Broadcast - is a protocol that provides reliable and secure broadcast / multicast communications [1,2]. It can be implemented in many types ...
119
click to vote
BIRTHDAY
2010
Springer
15 years 10 days ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...