4600 search results - page 787 / 920 » Presentation Of The Eurolang Project |
146
click to vote
APAL
2010
15 years 6 months ago
2010
A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named LTT0 and LTT 0, which we...
171
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Nowadays, the IP Multimedia Subsystem (IMS) is a promising research field. Many ongoing works related to the security and the performances of its employment are presented to the r...
168
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, a method for efficient scheduling to obtain optimum job throughput in a distributed campus grid environment is presented; Traditional job schedulers determine job s...
170
click to vote
DSS
2008
15 years 6 months ago
2008
While small-scale search engines in specific domains and languages are increasingly used by Web users, most existing search engine development tools do not support the development...
129
click to vote
ALIFE
2006
15 years 6 months ago
2006
We present a new bio-inspired approach applied to a problem of stereo image matching. This approach is based on an artificial epidemic process, which we call the infection algorith...