Sciweavers

210 search results - page 20 / 42
» For the Lexicon that Has Everything
Sort
View
WWW
2001
ACM
14 years 9 months ago
JOBS: Javacard-based Online-ticket Booking System
It is expected that the next generation of smart card will be more intelligent, more interactive and more interoperable. We call these the 3i requirements. A smart card wallet sys...
Derek W. M. Sin, Henry C. B. Chan
SEMWEB
2009
Springer
14 years 3 months ago
Results of OKKAM Feature based Entity Matching Algorithm for Instance Matching Contest of OAEI 2009
To investigate the problem of entity recognition, we deal with the creation of the so-called Entity Name System (ENS) which is an open, public back-bone infrastructure for the (Sem...
Heiko Stoermer, Nataliya Rassadko
ICSEA
2006
IEEE
14 years 2 months ago
Application Driven Software Development
ey operate with computer abstractions not with AD ions they cannot fully bridge the semantic gap between IT and AD. Therefore, we can safely conclude that the research on computer ...
Teodor Rus, Donald Ephraim Curtis
LICS
2005
IEEE
14 years 2 months ago
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
Patrice Godefroid, Michael Huth
RE
2004
Springer
14 years 1 months ago
COTS Tenders and Integration Requirements
When buying COTS-based software, the customer has to choose between what is available. The supplier may add some minor parts, but rarely everything the customer wants. This means t...
Søren Lauesen