5255 search results - page 805 / 1051 » Formal Methods for Privacy |
182
click to vote
APCCM
2010
15 years 8 months ago
2010
The evolution of service-oriented architectures toward market places for business services in the Internet, raises the need for rich service descriptions with respect to service p...
170
click to vote
BDA
2007
15 years 8 months ago
2007
We present Pattern-by-Example (PBE), a graphical language that allows users with little or no knowledge of pattern-matching and functional programming to define complex and optim...
156
click to vote
EDM
2010
15 years 8 months ago
2010
While students' skill set profiles can be estimated with formal cognitive diagnosis models [8], their computational complexity makes simpler proxy skill estimates attractive [...
170
click to vote
NIPS
2008
15 years 8 months ago
2008
We present a novel mathematical formalism for the idea of a "local model" of an uncontrolled dynamical system, a model that makes only certain predictions in only certai...
152
click to vote
NAACL
2007
15 years 8 months ago
2007
This paper describes a new grapheme-tophoneme framework, based on a combination of formal linguistic and statistical methods. A context-free grammar is used to parse words into th...