Sciweavers

1615 search results - page 102 / 323
» What's new
Sort
View
APLAS
2011
ACM
12 years 9 months ago
Constructing List Homomorphisms from Proofs
The well-known third list homomorphism theorem states that if a function h is both an instance of foldr and foldl, it is a list homomorphism. Plenty of previous works devoted to co...
Yun-Yan Chi, Shin-Cheng Mu
ADC
2003
Springer
135views Database» more  ADC 2003»
14 years 2 months ago
A Petri Net-based Model for Web Service Composition
The Internet is going through several major changes. It has become a vehicle of Web services rather than just a repository of information. Many organizations are putting their cor...
Rachid Hamadi, Boualem Benatallah
ACL
2004
13 years 10 months ago
Optimizing Typed Feature Structure Grammar Parsing through Non-Statistical Indexing
This paper introduces an indexing method based on static analysis of grammar rules and type signatures for typed feature structure grammars (TFSGs). The static analysis tries to p...
Cosmin Munteanu, Gerald Penn
ICMCS
2006
IEEE
144views Multimedia» more  ICMCS 2006»
14 years 3 months ago
Receiver-Based Optimization for Video Delivery Over Wireless Links
We consider transfer of video frames over a time-varying wireless channel. When the channel is good, the transmitter can send frames at a higher rate than the receiver can consume...
Carri W. Chan, John G. Apostolopoulos, Yan Li, Nic...
ACSC
2008
IEEE
14 years 3 months ago
JWS: a flexible web service
Web services have been proposed as means to provide more convenient access to computation services. An issue that still must be dealt with is what to do if there is no web service...
Andrew Cho, Paresh Deva, Ewan D. Tempero