Sciweavers

1019 search results - page 109 / 204
» Uniform Functors on Sets
Sort
View
WECWIS
2008
IEEE
127views ECommerce» more  WECWIS 2008»
14 years 3 months ago
SSWiM: A Semantic Service, Wrapper and Invocation Manager
Integrating service description, discovery, and invocation functionalities presents several fundamental problems in the management of web services and is a basic problem for compo...
Anna Sibirtseva, Zhongnan Shen, Jianwen Su, Fulian...
INFOCOM
2007
IEEE
14 years 3 months ago
Oblivious Routing with Mobile Fusion Centers over a Sensor Network
— We consider the problem of aggregating data at a mobile fusion center (fusor) (eg. a PDA or a cellular phone) moving within a spatial region over which a wireless sensor networ...
Devavrat Shah, Sanjay Shakkottai
CSL
2007
Springer
14 years 3 months ago
A Cut-Free and Invariant-Free Sequent Calculus for PLTL
Abstract. Sequent calculi usually provide a general deductive setting that uniformly embeds other proof-theoretical approaches, such as tableaux methods, resolution techniques, goa...
Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, M...
GLOBECOM
2006
IEEE
14 years 3 months ago
Power Allocation and Coverage for a Relay-Assisted Downlink with Voice Users
— We study the downlink coverage of a base station terminal (BST), which has access to a relay node. Continuing a previous study in which the BST is assumed to provide a variable...
Junjik Bae, Randall Berry, Michael L. Honig
ICMCS
2005
IEEE
67views Multimedia» more  ICMCS 2005»
14 years 2 months ago
Head-size equalization for better visual perception of video conferencing
In a video conferencing setting, people often use an elongated meeting table with the major axis along the camera direction. A standard wide angle perspective image of this settin...
Zicheng Liu, Michael F. Cohen