Sciweavers

2827 search results - page 2 / 566
» CCured in the real world
Sort
View
DLOG
2009
13 years 3 months ago
OWL Reasoning in the Real World: Searching for Godot
I will provide an overview of many of the use cases that we looked at to apply OWL ABox reasoning in the real world. The fields we covered included (a) healthcare, and life science...
Kavitha Srinivas
AGI
2011
12 years 9 months ago
Real-World Limits to Algorithmic Intelligence
Abstract. Recent theories of universal algorithmic intelligence, combined with the view that the world can be completely specified in mathematical terms, have led to claims about ...
Leo Pape, Arthur Kok
ISDA
2010
IEEE
13 years 3 months ago
Avoiding simplification strategies by introducing multi-objectiveness in real world problems
Abstract--In business analysis, models are sometimes oversimplified. We pragmatically approach many problems with a single financial objective and include monetary values for non-m...
Charlotte J. C. Rietveld, Gijs P. Hendrix, Frank T...
EUROPKI
2009
Springer
13 years 3 months ago
ABUSE: PKI for Real-World Email Trust
Current PKI-based email systems (such as X.509 S/MIME and PGP/ MIME) potentially enable a recipient to determine a name and organizational affiliation of the sender. This informati...
Chris Masone, Sean W. Smith
TITS
2011
165views more  TITS 2011»
13 years 11 days ago
Analysis of Real-World Driver's Frustration
—This study investigates a method for estimating a driver’s spontaneous frustration in the real world. In line with a specific definition of emotion, the proposed method inte...
Lucas Malta, Chiyomi Miyajima, Norihide Kitaoka, K...