Sciweavers

2142 search results - page 262 / 429
» An aspect-oriented approach for implementing evolutionary co...
Sort
View
AGP
2010
IEEE
15 years 11 months ago
Proof-Theoretic and Higher-Order Extensions of Logic Programming
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
Alberto Momigliano, Mario Ornaghi
CHI
1995
ACM
15 years 10 months ago
A Generic Platform for Addressing the Multimodal Challenge
Multimodal interactive systems support multiple interaction techniques such as the synergistic use of speech and direct manipulation. The flexibility they offer results in an incr...
Laurence Nigay, Joëlle Coutaz
NOSSDAV
1995
Springer
15 years 10 months ago
Meeting Arbitrary QoS Constraints Using Dynamic Rate Shaping of Coded Digital Video
Abstract. We introduce the concept of Dynamic Rate Shaping, a technique to adapt the rate ofcompressed video bitstreams MPEG-1, MPEG2, H.261, as well as JPEG to dynamically varyi...
Alexandros Eleftheriadis, Dimitris Anastassiou
CAD
2005
Springer
15 years 6 months ago
Configurable product views based on geometry user requirements
This paper describes an approach at Volvo Truck Corporation where geometry users' requirements are utilised to define configurable product views. The paper is derived from a ...
Freddy Fuxin
CG
2005
Springer
15 years 6 months ago
Hyper-Resolution: Image detail reconstruction through parametric edges
Hyper-Resolution, a new technique for super-resolution reconstruction of images, is based on matching lowresolution target image details to their high-resolution counterparts from...
Lijun Yin, Matt T. Yourst