Sciweavers

2803 search results - page 535 / 561
» A Type System for Prototyping Languages
Sort
View
PVLDB
2010
122views more  PVLDB 2010»
13 years 6 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
SSIRI
2010
13 years 6 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
ACL
2010
13 years 6 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
ICASSP
2011
IEEE
13 years 6 days 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
ACMMSP
2006
ACM
252views Hardware» more  ACMMSP 2006»
14 years 2 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...