Sciweavers

3706 search results - page 637 / 742
» KtSeqC: System Description
Sort
View
IANDC
2006
78views more  IANDC 2006»
15 years 6 months ago
A stable programming language
It is well-known that stable models (as dI-domains, qualitative domains and coherence are not fully abstract for the language PCF. This fact is related to the existence of stable ...
Luca Paolini
IJSWIS
2008
100views more  IJSWIS 2008»
15 years 6 months ago
Semantic-Based Bluetooth-RFID Interaction for Advanced Resource Discovery in Pervasive Contexts
We propose a novel object discovery framework integrating the application layer of Bluetooth and RFID standards. The approach is motivated and illustrated in an innovative u-comme...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....
JNS
2008
44views more  JNS 2008»
15 years 6 months ago
The Scaling Attractor and Ultimate Dynamics for Smoluchowski's Coagulation Equations
We describe a basic framework for studying dynamic scaling that has roots in dynamical systems and probability theory. Within this framework, we study Smoluchowski's coagulat...
Govind Menon, Robert L. Pego
KBS
2006
146views more  KBS 2006»
15 years 6 months ago
An analogy-oriented type hierarchy for linguistic creativity
Metaphor and analogy are perhaps the most challenging aspects of linguistic creativity for a conceptual representation to facilitate, since by their very nature they seek to stret...
Tony Veale
MVA
2006
15 years 6 months ago
The Agile Stereo Pair for active vision
This paper presents a new stereo sensor for active vision. Its cameras are mounted on two independent 2-DOF manipulators, themselves mounted on two translation stages. The system i...
Eric Samson, Denis Laurendeau, Marc Parizeau, Sylv...