7529 search results - page 1328 / 1506 » The Modula-3 Type System |
235
Voted
ICWS
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
192
Voted
ESANN
2001
15 years 8 months ago
2001
Aim of the present article is to show the results obtained from the application of neuro-fuzzy methodology in the solution of agriculture problems like the Bactrocera Oleae (olive...
202
Voted
DBSEC
2003
15 years 8 months ago
2003
: Fair exchange protocols play an important role in application areas such as e-commerce where protocol participants require mutual guarantees that a transaction involving exchange...
211
Voted
IMAGING
2004
15 years 8 months ago
2004
This research integrates the techniques used for the display of high dynamic range pictorial imagery for the practical visualization of non-pictorial (scientific) imagery such as ...
197
Voted
ISCAPDCS
2004
15 years 8 months ago
2004
Internet today, has transformed into a global information hub. The increase in its usage and magnitude have sparkled various research problems. Because of the diverse user populat...