4419 search results - page 129 / 884 » Information Science in Transition |
129
Voted
CAD
2006
Springer
15 years 3 months ago
2006
Springer
Seamless integration of digital parts libraries or electronic parts catalogs for e-procurement is impeded by semantic heterogeneity. The utilization of ontologies as metadata desc...
116
Voted
TCS
2010
15 years 2 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
117
Voted
GI
2009
Springer
15 years 1 months ago
2009
Springer
: This research deals with perception of information and advertisement screens mounted in public transport vehicles. We have conducted an exploratory field study with 106 participa...
117
Voted
RTA
2005
Springer
15 years 9 months ago
2005
Springer
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...
126
Voted
AI
2000
Springer
15 years 3 months ago
2000
Springer
The World Wide Web has become an invaluable information resource but the explosion of available information has made web search a time consuming and complex process. The large num...