Sciweavers

48 search results - page 5 / 10
» Achieving Flexibility In Unification Formalisms
Sort
View
CIKM
2010
Springer
13 years 4 months ago
On the definition of patterns for semantic annotation
The semantic annotation of documents is an additional advantage for retrieval, as long as the annotations and their maintenance process scale well. Automatic or semi-automatic ann...
Mónica Marrero, Julián Urbano, Jorge...
ICDE
2009
IEEE
143views Database» more  ICDE 2009»
14 years 11 months ago
Auditing a Database under Retention Restrictions
Auditing the changes to a database is critical for identifying malicious behavior, maintaining data quality, and improving system performance. But an accurate audit log is a histor...
Wentian Lu, Gerome Miklau
AIIA
1995
Springer
14 years 1 months ago
Learning Programs in Different Paradigms using Genetic Programming
Genetic Programming (GP) is a method of automatically inducing programs by representing them as parse trees. In theory, programs in any computer languages can be translated to par...
Man Leung Wong, Kwong-Sak Leung
AICOM
2005
91views more  AICOM 2005»
13 years 9 months ago
Multiagent systems for cardiac pacing simulation and control
Abstract. Simulating and controlling physiological phenomena are complex tasks to tackle. This is due to the fact that physiological processes are usually described by a set of par...
Francesco Amigoni, Alessandro Beda, Nicola Gatti
ECMDAFA
2006
Springer
166views Hardware» more  ECMDAFA 2006»
14 years 1 months ago
Dynamic Logic Semantics for UML Consistency
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
Greg O'Keefe