Sciweavers

3679 search results - page 150 / 736
» Answer set based design of knowledge systems
Sort
View
SIGMOD
2007
ACM
186views Database» more  SIGMOD 2007»
16 years 4 months ago
Fg-index: towards verification-free query processing on graph databases
Graphs are prevalently used to model the relationships between objects in various domains. With the increasing usage of graph databases, it has become more and more demanding to e...
James Cheng, Yiping Ke, Wilfred Ng, An Lu
FLAIRS
2008
15 years 6 months ago
Towards Formalization of ARD+ Conceptual Design and Refinement Method
The paper discusses a proposal of a formal description of ARD+ a conceptual design and hierarchical refinement method for knowledge-based systems. Formalization of method syntax i...
Grzegorz J. Nalepa, Igor Wojnicki
METAINFORMATICS
2004
Springer
15 years 9 months ago
Supporting Tools for Designing-By-Contract in Component-Based Applications
This paper deals with the modeling and the automatic implementation of constraints in component based applications. Constraints have been assuming an ever more relevant role in mod...
Antonio Coronato, Antonio d'Acierno, Diego D'Ambro...
ESA
2009
Springer
129views Algorithms» more  ESA 2009»
15 years 11 months ago
Dynamic vs. Oblivious Routing in Network Design
Consider the robust network design problem of finding a minimum cost network with enough capacity to route all traffic demand matrices in a given polytope. We investigate the impa...
Navin Goyal, Neil Olver, F. Bruce Shepherd
ICASSP
2008
IEEE
15 years 11 months ago
Compressive sensing and waveform design for the identification of Linear time-varying systems
In this paper, we investigate the application of compressive sensing and waveform design for estimating linear time-varying system characteristics. Based on the fact that the spre...
Jun Jun Zhang, Antonia S. Papandreou