588 search results - page 5 / 118 » Minimality Results for the Spatial Logics |
STOC
2006
ACM
14 years 7 months ago
2006
ACM
Producing a small DNF expression consistent with given data is a classical problem in computer science that occurs in a number of forms and has numerous applications. We consider ...
GLVLSI
2003
IEEE
14 years 23 days ago
2003
IEEE
Concerned by the wall that Moore’s Law is expected to hit in the next decade, the integrated circuit community is turning to emerging nanotechnologies for continued device impro...
IOLTS
2008
IEEE
14 years 1 months ago
2008
IEEE
Sets of Pairs of Functions to be Distinguished (SPFD) is a functional flexibility representation method that was recently introduced in the logic synthesis domain, and promises s...
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
FLAIRS
2001
13 years 8 months ago
2001
Inrecenttimes,severalextensionsofdataminingmethods andtechniqueshavebeenexploredaimingatdealingwith advanceddatabases.Manypromisingapplicationsof inductivelogicprogramming(ILP)tok...