Sciweavers

2139 search results - page 52 / 428
» Connecting language to the world
Sort
View
119
Voted
JELIA
2004
Springer
15 years 3 months ago
Reasoning About Quantum Systems
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
Paulo Mateus, Amílcar Sernadas
CL
2008
Springer
14 years 10 months ago
Foundations of a simple and unified component-oriented language
Component-orientedprogramming(COP)isactuallyakeyresearchtrackinsoftwareengineering.Avarietyofcomponent-oriented s (COLs) have been proposed with new or adapted abstractions and me...
Luc Fabresse, Christophe Dony, Marianne Huchard
ICALP
2007
Springer
15 years 4 months ago
Labeling Schemes for Vertex Connectivity
This paper studies labeling schemes for the vertex connectivity function on general graphs. We consider the problem of labeling the nodes of any n-node graph is such a way that gi...
Amos Korman
ACL
1998
14 years 11 months ago
Tense and Connective Constraints on the Expression of Causality
Starting from descriptions of French connectives (in particular "donc"---therefore), on the one hand, and aspectual properties of French tenses pass4 simple and imparfai...
Pascal Amsili, Corinne Rossari
83
Voted
ICWE
2010
Springer
14 years 8 months ago
Connecting Smart Things through Web Services Orchestrations
The Web of Things is an emerging scenario in which objects are connected to Internet and can answer to HTTP queries. To date, new applications in this field are mainly produced by ...
Antonio Pintus, Davide Carboni, Andrea Piras, Ales...