Sciweavers

164 search results - page 13 / 33
» Can Semantic Roles Generalize Across Genres
Sort
View
LICS
2006
IEEE
14 years 3 months ago
Boolean Algebras for Lambda Calculus
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
Giulio Manzonetto, Antonino Salibra
CCS
2001
ACM
14 years 2 months ago
Events in security protocols
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
Federico Crazzolara, Glynn Winskel
CVPR
2009
IEEE
1084views Computer Vision» more  CVPR 2009»
15 years 5 months ago
Describing Objects by their Attributes
We propose to shift the goal of recognition from naming to describing. Doing so allows us not only to name familiar objects, but also: to report unusual aspects of a familiar ob...
Ali Farhadi, David A. Forsyth, Derek Hoiem, Ian En...
EWSPT
2003
Springer
14 years 3 months ago
Formalizing Rework in Software Processes
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...
Aaron G. Cass, Stanley M. Sutton Jr., Leon J. Oste...
DOCENG
2005
ACM
13 years 11 months ago
Generative semantic clustering in spatial hypertext
This paper presents an iterative method for generative semantic clustering of related information elements in spatial hypertext documents. The goal is to automatically organize th...
Andruid Kerne, Eunyee Koh, Vikram Sundaram, J. Mic...