Sciweavers

2662 search results - page 317 / 533
» Objects-early tools: a demonstration
Sort
View
AACC
2004
Springer
15 years 12 months ago
Using Document Dimensions for Enhanced Information Retrieval
Conventional document search techniques are constrained by attempting to match individual keywords or phrases to source documents. Thus, these techniques miss out documents that co...
Thimal Jayasooriya, Suresh Manandhar
AOSE
2004
Springer
15 years 12 months ago
AML: Agent Modeling Language Toward Industry-Grade Agent-Based Modeling
Abstract. The Agent Modeling Language (AML) is a semi-formal visual modeling language, specified as an extension to UML 2.0. It is a consistent set of modeling constructs designed...
Radovan Cervenka, Ivan Trencanský, Monique ...
DIAGRAMS
2004
Springer
15 years 12 months ago
Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...
Jean Flower, Judith Masthoff, Gem Stapleton
EAGC
2004
Springer
15 years 12 months ago
Grid Infrastructure Monitoring as Reliable Information Service
A short overview of Grid infrastructure status monitoring is given followed by a discussion of key concepts for advanced status monitoring systems: passive information gathering ba...
Petr Holub, Martin Kuba, Ludek Matyska, Miroslav R...
ISI
2004
Springer
15 years 12 months ago
West Nile Virus and Botulism Portal: A Case Study in Infectious Disease Informatics
Abstract. Information technologies and infectious disease informatics are playing an increasingly important role in preventing, detecting, and managing infectious disease outbreaks...
Daniel Dajun Zeng, Hsinchun Chen, Chunju Tseng, Ca...