BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Italy
1 × Switzerland
1 × USA
Collaborated with:
R.Belohlávek P.Krajca
Talks about:
formal (3) base (3) background (2) parallel (2) knowledg (2) attribut (2) similar (2) databas (2) concept (2) analysi (2)

Person: Vilém Vychodil

DBLP DBLP: Vychodil:Vil=eacute=m

Contributed to:

SAC 20122012
SAC 20102010
SAC 20092009
SAC 20082008

Wrote 6 papers:

SAC-2012-BelohlavekV #database #semantics #similarity
Attribute implications in similarity-based databases: semantic entailment and nonredundant bases (RB, VV), pp. 840–846.
SAC-2010-BelohlavekV #concept analysis #constraints
Background knowledge in formal concept analysis: constraints via closure operators (RB, VV), pp. 1113–1114.
SAC-2010-BelohlavekV10a #database #logic #query #similarity
Query systems in similarity-based databases: logical foundations, expressive power, and completeness (RB, VV), pp. 1648–1655.
SAC-2010-KrajcaV #functional #memory management #parallel #transaction
Software transactional memory for implicitly parallel functional language (PK, VV), pp. 2123–2130.
SAC-2009-KrajcaV #formal method #implementation #parallel #performance
Data parallel dialect of scheme: outline of the formal model, implementation, performance (PK, VV), pp. 1938–1939.
SAC-2008-BelohlavekV #concept analysis #dependence
Adding background knowledge to formal concept analysis via attribute dependency formulas (RB, VV), pp. 938–943.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.