Sciweavers

1823 search results - page 221 / 365
» Formal specification: a roadmap
Sort
View
DGO
2007
97views Education» more  DGO 2007»
13 years 10 months ago
Interactive exploration and discovery of e-government services
Government e-services available to citizens represent one of the most frequent and critical points of contact between public administrations and citizens. In addition to common se...
Giovanni Maria Sacco
LREC
2008
90views Education» more  LREC 2008»
13 years 10 months ago
A Text-based Query Interface to OWL Ontologies
Accessing structured data in the form of ontologies requires training and learning formal query languages (e.g., SeRQL or SPARQL) which poses significant difficulties for non-expe...
Danica Damljanovic, Valentin Tablan, Kalina Bontch...
CLIMA
2006
13 years 10 months ago
Adding Evolving Abilities to a Multi-Agent System
This paper reports on a fertile marriage between madAgents, a Java and Prolog based multi-agent platform, and EVOLP, a logic programming based language to represent and reason abou...
João Leite, Luís Soares
DAGSTUHL
2003
13 years 10 months ago
Partial Order Semantics of Sequence Diagrams for Mobility
There are many formalism for mobile system specification, but until very recently, there was no satisfactory graphical notation for modelling of such systems. In a previous paper, ...
Piotr Kosiuczenko
PARMA
2004
136views Database» more  PARMA 2004»
13 years 10 months ago
Using Classification and Visualization on Pattern Databases for Gene Expression Data Analysis
Abstract. We are designing new data mining techniques on gene expression data, more precisely inductive querying techniques that extract a priori interesting bi-sets, i.e., sets of...
Céline Robardet, Ruggero G. Pensa, Jé...