5302 search results - page 46 / 1061 » Learning How to Separate |
117
click to vote
TCS
2008
14 years 11 months ago
2008
This paper studies a novel paradigm for learning formal languages from positive and negative examples which consists of mapping strings to an appropriate highdimensional feature s...
ACL
1998
15 years 1 months ago
1998
Separable verbs are verbs with prefixes which, depending on the syntactic context, can occur as one word written together or discontinuously. They occur in languages such as Germa...
115
click to vote
ASE
2006
14 years 12 months ago
2006
Finite state machines have been used to model a number of classes of system and there has thus been much interest in the automatic generation of test sequences from finite state m...
TLDI
2009
ACM
15 years 8 months ago
2009
ACM
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...
ICASSP
2008
IEEE
15 years 6 months ago
2008
IEEE
— Radio Frequency Identi cation (RFID) is a technology to wirelessly transmit the identity of tagged objects. For long-range (UHF) systems with multiple tags, the tag replies may...