Attributes | Values |
---|
rdf:type
| |
Description
| - Interval functions constitute quite a special class of Boolean functions for which it is very easy and fast to determine their functional value on a specified input vector. Their value is 'true' if and only if the input data viewed as an $n$-bit number belongs to the interval [a,b] corresponding to the function concerned. Therefore we study the problem of deciding whether given DNF represents interval function and if so then we also want to output the corresponding interval.
- Interval functions constitute quite a special class of Boolean functions for which it is very easy and fast to determine their functional value on a specified input vector. Their value is 'true' if and only if the input data viewed as an $n$-bit number belongs to the interval [a,b] corresponding to the function concerned. Therefore we study the problem of deciding whether given DNF represents interval function and if so then we also want to output the corresponding interval. (en)
- Intervalové funkce tvoří speciální třídu Booleovských funkcí pro kterou se dá velmi rychle a snadno určit jejich funkční hodnota pro daný vstupní vektor. Tato hodnota je 'pravda' tehdy a jen tehdy, když vstupní data, vnímáma jako n-bitový vektor, leží v intervalu [a,b], který funkci zadává. Zde se zabýváme problémem jak rozpoznat zda daná DNF reprezentuje intervalovou funkci a v jak kladném případě určit odpovídající interval. (cs)
|
Title
| - Recognition of Interval Boolean Functions
- Rozpoznávání Intervalových Booleovských Funkcí (cs)
- Recognition of Interval Boolean Functions (en)
|
skos:prefLabel
| - Recognition of Interval Boolean Functions
- Rozpoznávání Intervalových Booleovských Funkcí (cs)
- Recognition of Interval Boolean Functions (en)
|
skos:notation
| - RIV/00216208:11320/06:00002602!RIV07-MSM-11320___
|
http://linked.open.../vavai/riv/strany
| |
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - P(GA201/04/1102), P(GD201/05/H014), Z(MSM0021620838)
|
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216208:11320/06:00002602
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - Recognition; Interval; Boolean; Functions (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...v/mistoKonaniAkce
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...i/riv/nazevZdroje
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| - Kučera, Petr
- Kronus, David
- Čepek, Ondřej
|
http://linked.open...vavai/riv/typAkce
| |
http://linked.open.../riv/zahajeniAkce
| |
http://linked.open...n/vavai/riv/zamer
| |
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| - Univerzita Karlova v Praze. Matematicko-fyzikální fakulta
|
https://schema.org/isbn
| |
http://localhost/t...ganizacniJednotka
| |
is http://linked.open...avai/riv/vysledek
of | |