Sciweavers

2803 search results - page 535 / 561
» A Type System for Prototyping Languages
Sort
View
113
Voted
PVLDB
2010
122views more  PVLDB 2010»
15 years 1 months ago
Avalanche-Safe LINQ Compilation
We report on a query compilation technique that enables the construction of alternative efficient query providers for Microsoft’s Language Integrated Query (LINQ) framework. LIN...
Torsten Grust, Jan Rittinger, Tom Schreiber
131
Voted
SSIRI
2010
15 years 1 months ago
A Formal Framework for Mutation Testing
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
Fevzi Belli, Mutlu Beyazit
107
Voted
ACL
2010
15 years 1 months ago
Expanding Verb Coverage in Cyc with VerbNet
A robust dictionary of semantic frames is an essential element of natural language understanding systems that use ontologies. However, creating lexical resources that accurately c...
Clifton McFate
122
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Language-independent constrained cepstral features for speaker recognition
Constrained cepstral systems, which select frames to match various linguistic “constraints” in enrollment and test, have shown significant improvements for speaker verificatio...
Elizabeth Shriberg, Andreas Stolcke
167
Voted
ACMMSP
2006
ACM
252views Hardware» more  ACMMSP 2006»
15 years 9 months ago
Deconstructing process isolation
Most operating systems enforce process isolation through hardware protection mechanisms such as memory segmentation, page mapping, and differentiated user and kernel instructions....
Mark Aiken, Manuel Fähndrich, Chris Hawblitze...