Sciweavers

3082 search results - page 130 / 617
» its 2004
Sort
View
NIPS
2004
13 years 11 months ago
A Direct Formulation for Sparse PCA Using Semidefinite Programming
We examine the problem of approximating, in the Frobenius-norm sense, a positive, semidefinite symmetric matrix by a rank-one matrix, with an upper bound on the cardinality of its...
Alexandre d'Aspremont, Laurent El Ghaoui, Michael ...
NLUCS
2004
13 years 11 months ago
Generating Java Class Skeleton Using a Natural Language Interface
An intelligent natural language interface based on Turkish Language is designed for creating Java class skeleton, listing the class and its members. This interface is developed as ...
Ender Ozcan, Sadi Evren Seker, Zeynep Ilknur Karad...
PTS
2004
86views Hardware» more  PTS 2004»
13 years 11 months ago
From Safety Verification to Safety Testing
A methodology that combines verification and conformance testing for validating safety requirements of reactive systems is presented. The requirements are first automatically verif...
Vlad Rusu, Hervé Marchand, Valéry Ts...
RIAO
2004
13 years 11 months ago
Improving the Precision of a Closed-Domain Question-Answering System with Semantic Information
This paper presents our experiments in applying semantic information to improve the precision of the information retrieval module in a closed-domain question-answering system. Tha...
Hai Doan-Nguyen, Leila Kosseim
WSC
2004
13 years 11 months ago
Ontologies for Modeling and Simulation: Issues and Approaches
Ontologies represent the next important phase of the World Wide Web, creating a semantic web which links together disparate pieces of information and knowledge. Creating ontologie...
Paul A. Fishwick, John A. Miller