7529 search results - page 1344 / 1506 » The Modula-3 Type System |
169
click to vote
IS
2006
15 years 5 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
136
click to vote
IVS
2006
15 years 5 months ago
2006
In this paper, we discuss the efforts underway at the Pacific Northwest National Laboratory in understanding the dynamics of multi-party discourse across a number of communication...
172
click to vote
JMLR
2008
15 years 5 months ago
2008
Pointwise consistent, feasible procedures for estimating contemporaneous linear causal structure from time series data have been developed using multiple conditional independence ...
159
click to vote
CVIU
2007
15 years 5 months ago
2007
Direct use of the hand as an input device is an attractive method for providing natural human–computer interaction (HCI). Currently, the only technology that satisfies the adva...
146
click to vote
JCP
2006
15 years 5 months ago
2006
The nature of wireless mobile ad hoc networks depend on batteries or other fatiguing means for their energy. A limited energy capacity may be the most significant performance const...