Sciweavers

983 search results - page 80 / 197
» Mathematics Computing Environment on the Web
Sort
View
SEMWEB
2009
Springer
14 years 4 months ago
Axiomatic First-Order Probability
Most languages for the Semantic Web have their logical basis in some fragment of first-order logic. Thus, integrating first-order logic with probability is fundamental for represen...
Kathryn B. Laskey
VL
2008
IEEE
14 years 4 months ago
Mashing up visual languages and web mash-ups
Research on web mashups and visual languages share an interest in human-centered computing. Both research communities are concerned with supporting programming by everyday, techni...
M. Cameron Jones, Elizabeth F. Churchill, Michael ...
AINA
2007
IEEE
14 years 4 months ago
Middleware for Ubiquitous Service-Oriented Spaces on the Web
Web services are todays preferred vehicle for creating service-oriented architectures (SOA). Due to the boom of personal networked devices, the Web also found its way to the mobil...
Geert Vanderhulst, Kris Luyten, Karin Coninx
SIGCSE
2002
ACM
202views Education» more  SIGCSE 2002»
13 years 9 months ago
A tutorial program for propositional logic with human/computer interactive learning
This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propo...
Stacy Lukins, Alan Levicki, Jennifer Burg
SEMWEB
2004
Springer
14 years 3 months ago
An Initial Investigation into Querying an Untrustworthy and Inconsistent Web
The Semantic Web is bound to be untrustworthy and inconsistent. In this paper, we present an initial approach for obtaining useful information in such an environment. In particular...
Yuanbo Guo, Jeff Heflin