Sciweavers

3071 search results - page 50 / 615
» Explanatory Design Theory
Sort
View
WSFM
2007
Springer
15 years 4 months ago
Towards a Theory of Web Service Choreographies
A fundamental promise of service oriented architecture (SOA) lies in the ease of integrating sharable information, processes, and other resources through interactions among the sha...
Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zha...
ECRTS
2006
IEEE
15 years 3 months ago
On a Theory of Media Processing Systems Behavior, with Applications
In this article we provide a model for the dynamic behavior of media processing chains of tasks communicating via bounded buffers. The aim is to find the overall behavior of a cha...
M. A. Weffers-Albu, Johan J. Lukkien, Elisabet F. ...
ECOOP
2003
Springer
15 years 3 months ago
A Nominal Theory of Objects with Dependent Types
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
Martin Odersky, Vincent Cremet, Christine Röc...
ICMCS
2000
IEEE
68views Multimedia» more  ICMCS 2000»
15 years 2 months ago
Selective Signal Cancellation for Multiple-Listener Audio Applications: An Information Theory Approach
Selectively canceling signals at specific locations within an acoustical environment with multiple listeners is of significant importance for home theater, teleconferencing, of...
Sunil Bharitkar, Chris Kyriakakis
ICCV
1998
IEEE
15 years 2 months ago
A Theory of Catadioptric Image Formation
Conventional video cameras have limited elds of view which make them restrictive for certain applications in computational vision. A catadioptric sensor uses a combination of lens...
Simon Baker, Shree K. Nayar