Sciweavers

4944 search results - page 211 / 989
» From XML to Relational Models
Sort
View
ECSQARU
2007
Springer
15 years 10 months ago
From DEL to EDL : Exploring the Power of Converse Events
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...
Guillaume Aucher, Andreas Herzig
FM
2008
Springer
77views Formal Methods» more  FM 2008»
15 years 6 months ago
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
Tom Ridge, Michael Norrish, Peter Sewell
IEEEICCI
2009
IEEE
15 years 2 months ago
Learning from an ensemble of Receptive Fields
Abstract-In this paper, we construct a neural-inspired computational model based on the representational capabilities of receptive fields. The proposed model, known as Shape Encodi...
Hanlin Goh, Joo Hwe Lim, Chai Quek
SACMAT
2005
ACM
15 years 10 months ago
Purpose based access control of complex data for privacy protection
As privacy becomes a major concern for both consumers and enterprises, many research efforts have been devoted to the development of privacy protecting technology. We recently pr...
Ji-Won Byun, Elisa Bertino, Ninghui Li
LREC
2010
184views Education» more  LREC 2010»
15 years 6 months ago
New Features in Spoken Language Search Hawk (SpLaSH): Query Language and Query Sequence
In this work we present further development of the SpLaSH (Spoken Language Search Hawk) project. SpLaSH implements a data model for annotated speech corpora integrated with textua...
Sara Romano, Francesco Cutugno