551 search results - page 91 / 111 » Realizability of Real-Time Logics |
ICDAR
2011
IEEE
12 years 7 months ago
2011
IEEE
– Better understanding the document logical components is crucial to many applications, e.g., document classification or data integration. As the development of digital libraries...
SEMWEB
2005
Springer
14 years 26 days ago
2005
Springer
This paper addresses a major weakness of current technologies for the Semantic Web, namely the lack of a principled means to represent and reason about uncertainty. This not only h...
C5
2004
IEEE
13 years 11 months ago
2004
IEEE
Skeleton is a visual scripting environment as an extension of Squeak etoy [1] with Connectors [2] system to make mathematical and physical simulation for non professional computer...
ESWS
2007
Springer
14 years 1 months ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
GI
2009
Springer
14 years 3 min ago
2009
Springer
: Future nano scale devices will expose different characteristics than todays silicon devices. While the exponential growth of non recurring expenses (NRE, mostly due to mask sets)...