391 search results - page 22 / 79 » Automatic programming with semantic streams |
91
Voted
ICWE
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. This paper describes the new e-learning tool CHESt that allows students to search in a knowledge base for short (teaching) multimedia clips by using a semantic search eng...
ICDM
2008
IEEE
15 years 5 months ago
2008
IEEE
Monitoring applications play an increasingly important role in many domains. They detect events in monitored systems and take actions such as invoke a program or notify an adminis...
103
click to vote
LPNMR
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check...
131
Voted
POPL
2012
ACM
13 years 6 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
88
Voted
TSE
2010
14 years 9 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...