Sciweavers

312 search results - page 27 / 63
» Restricting and Embedding Imperatives
Sort
View
AMSTERDAM
2009
15 years 1 months ago
Supplements within a Unidimensional Semantics I: Scope
Potts (2005, 2007) claims that Grice's `conventional implicatures' offer a powerful argument in favor of a multidimensional semantics, one in which certain expressions fa...
Philippe Schlenker
CORR
2004
Springer
100views Education» more  CORR 2004»
15 years 3 months ago
On Spatial Conjunction as Second-Order Logic
Abstract. Spatial conjunction is a powerful construct for reasoning about dynamically allocated data structures, as well as concurrent, distributed and mobile computation. While re...
Viktor Kuncak, Martin C. Rinard
ICIP
2005
IEEE
16 years 5 months ago
Hiding privacy information in video surveillance system
This paper proposes a detailed framework of storing privacy information in surveillance video as a watermark. Authorized personnel is not only removed from the surveillance video ...
Wei Zhang, Sen-Ching S. Cheung, Minghua Chen
SIES
2009
IEEE
15 years 10 months ago
A flexible design flow for software IP binding in commodity FPGA
— Software intellectual property (SWIP) is a critical component of increasingly complex FPGA based system on chip (SOC) designs. As a result, developers want to ensure that their...
Michael Gora, Abhranil Maiti, Patrick Schaumont
WORDS
2005
IEEE
15 years 9 months ago
Agent-Oriented Modelling and Specification of Web Services
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
Hong Zhu, Lijun Shan