4350 search results - page 122 / 870 » Case studies for contract-based systems |
176
click to vote
SEMWEB
2007
Springer
16 years 15 days ago
2007
Springer
As claimed in the Semantic Web project, a huge amount of physically distributed interacting software agents could find the semantic of available resources and answer more relevantl...
168
click to vote
ERCIMDL
2005
Springer
15 years 12 months ago
2005
Springer
Daffodil is a front-end to federated, heterogeneous digital libraries targeting at strategic support of users during the information seeking process. This is done by offering a va...
177
click to vote
ILP
2004
Springer
15 years 11 months ago
2004
Springer
Many domains in the field of Inductive Logic Programming (ILP) involve highly unbalanced data. Our research has focused on Information Extraction (IE), a task that typically invol...
182
click to vote
PADL
2004
Springer
15 years 11 months ago
2004
Springer
Gentzen’s Hauptsatz – cut elimination theorem – in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuition...
158
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
As many authors have articulated, the “last mile problem” is often cited as a persistent engineering obstacle in deploying residential broadband solutions. Additionally, some ...