2312 search results - page 214 / 463 » Invariance in Property Testing |
155
click to vote
IJCSA
2007
15 years 4 months ago
2007
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
130
click to vote
INTEGRATION
1998
15 years 4 months ago
1998
An increasing part of microelectronic systems is implemented on the basis of predesigned and preverified modules, so-called cores, which are reused in many instances. Core-provide...
145
click to vote
ECIR
2011
Springer
14 years 8 months ago
2011
Springer
Feature selection plays a vital role in text categorisation. A range of different methods have been developed, each having unique properties and selecting different features. We ...
169
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...
126
click to vote
FOCS
2009
IEEE
15 years 11 months ago
2009
IEEE
— We prove the following strong hardness result for learning: Given a distribution on labeled examples from the hypercube such that there exists a monomial (or conjunction) consi...