Sciweavers

2662 search results - page 112 / 533
» Tools Demonstrations
Sort
View
IC
2003
15 years 5 months ago
Internet Collaboration Using the W3C Document Object Model
The Internet makes it possible to share information (e.g. text, image, audio, video and other formats of data) across the globe. In this paper we look at collaborative Internet en...
Xiaohong Qiu, Bryan Carpenter, Geoffrey Fox
IA
2006
137views more  IA 2006»
15 years 4 months ago
Automated Reasoning
Automated reasoning is becoming an essential issue in many Web systems and applications, especially in emerging Semantic Web applications. This article first discusses reasons for...
Maria Paola Bonacina, Alberto Martelli
117
Voted
TIME
1998
IEEE
15 years 8 months ago
Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report
The use of causal rules or fluent dependency constraints has proven to provide a versatile means of dealing with the ramification problem. In this paper we show how fluent depende...
Patrick Doherty, Jonas Kvarnström
CE
2008
156views more  CE 2008»
15 years 4 months ago
Interactive story authoring: A viable form of creative expression for the classroom
The unprecedented growth in numbers of children playing computer games has stimulated discussion and research regarding what, if any, educational value these games have for teachi...
Mike Carbonaro, Maria Cutumisu, Harvey Duff, Steph...
BMCBI
2006
147views more  BMCBI 2006»
15 years 4 months ago
A case study in pathway knowledgebase verification
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...
Stephen A. Racunas, Nigam Shah, Nina V. Fedoroff