Sciweavers

3719 search results - page 102 / 744
» RACER System Description
Sort
View
EDOC
2011
IEEE
13 years 11 months ago
Modeling Contextual Concerns in Enterprise Architecture
Abstract—Enterprise Architecture approaches are used to provide rigorous descriptions of the organization-wide environment, manage the alignment of deployed services to the organ...
Gonçalo Antunes, José Barateiro, Chr...
ICTAI
2008
IEEE
15 years 6 months ago
The System BioC for Reasoning about Biological Models in Action Language C
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
Steve Dworschak, Torsten Grote, Arne König, T...
CONTEXT
2007
Springer
15 years 6 months ago
Ontologies as Contexts for Constraint-based Reasoning
We give a brief description of a system we are currently building that fulfils the promise of our title. This description also indicates why we are interested in the topic of cont...
Richard J. Wallace, Tomas Eric Nordlander, Ioannis...
ISMIR
2004
Springer
114views Music» more  ISMIR 2004»
15 years 5 months ago
Architecture for an MPEG-7 Web Browser
The MPEG-7 standard provides description mechanisms and taxonomy management for multimedia documents. There are several approaches to design a multimedia database system using MPE...
Òscar Celma
ICCAD
1997
IEEE
117views Hardware» more  ICCAD 1997»
15 years 4 months ago
Decomposition of timed decision tables and its use in presynthesis optimizations
Presynthesis optimizations transform a behavioral HDL description into an optimized HDL description that results in improved synthesis results. In this paper we introduce the decom...
Jian Li, Rajesh K. Gupta