Sciweavers

5451 search results - page 584 / 1091
» Typed Operational Semantics
Sort
View
SEMCO
2007
IEEE
16 years 1 months ago
Modeling Discriminative Global Inference
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
Nicholas Rizzolo, Dan Roth
ESORICS
2007
Springer
16 years 1 months ago
Security of Multithreaded Programs by Compilation
Abstract. Information security is a pressing challenge for mobile code technologies. In order to claim end-to-end security of mobile code, it is necessary to establish that the cod...
Gilles Barthe, Tamara Rezk, Alejandro Russo, Andre...
SEMWEB
2007
Springer
16 years 29 days ago
Optimizing the Crisp Representation of the Fuzzy Description Logic SROIQ
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. Fuzzy Description Logics were born to represent the former type of knowledge, but ...
Fernando Bobillo, Miguel Delgado, Juan Góme...
DEEC
2005
IEEE
16 years 14 days ago
Ontologizing EDI: First Steps and Initial Experience
Electronic Data Interchange (EDI) standards for transmission of business messages were promulgated in the 1970s. As standards became more complex to provide additional message typ...
Douglas Foxvog, Christoph Bussler
ICDE
2005
IEEE
155views Database» more  ICDE 2005»
16 years 14 days ago
Building a Smart Meeting Room: From Infrastructure to the Video Gap (Research and Open Issues)
At FXPAL Japan we have built an (experimental) Smart Conference Room (SCR) that contains multiple cameras, microphones, displays, and capture devices. Based on our experience, in ...
Alejandro Jaimes, Jun Miyazaki