Sciweavers

1845 search results - page 201 / 369
» Automatic Initiation of an Ontology
Sort
View
SIGADA
2005
Springer
15 years 12 months ago
Temporal skeletons for verifying time
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
Gustaf Naeser, Kristina Lundqvist, Lars Asplund
COLING
1996
15 years 7 months ago
Learning to Recognize Names Across Languages
The development of natural language proccssing (NLP) systems that perform machine translation (MT) and information retrieval (IR) has highlighted the need for the automatic recogn...
Anthony F. Gallippi
GI
2009
Springer
15 years 4 months ago
Automated GUI Testing Validation guided by Annotated Use Cases
Abstract: This paper presents a new approach to Automatic GUI Test Case Generation and Validation: a use case-guided technique to reduce the effort required in GUI modeling and tes...
Pedro Luis Mateo Navarro, Diego Sevilla Ruiz, Greg...
ICCSA
2009
Springer
16 years 1 months ago
Parameter-Less GA Based Crop Parameter Assimilation with Satellite Image
Crop Assimilation Model (CAM) predicts the parameters of agrohydrological models with satellite images. CAM with double layers GA called CAM-DLGA, uses Soil-Water-Atmosphere-Plant ...
Shamim Akhter, Keigo Sakamoto, Yann Chemin, Kento ...
IV
2002
IEEE
130views Visualization» more  IV 2002»
15 years 11 months ago
Spring Embedder Preprocessing for WWW Visualization
We present a preprocessor for the spring embedder graph drawing method and show its use in speeding up the automatic layout of three-dimensional visualizations of WWW sites. Sprin...
Paul Mutton, Peter Rodgers