Sciweavers

11151 search results - page 65 / 2231
» On the Complexity of Model Expansion
Sort
View
EDOC
2006
IEEE
14 years 4 months ago
Business Continuity Model. Regeneration System for Manufacturing Components
At present, with the expansion of information technologies at the industry, it is vital to implant proactive, self-managed systems that ensure continuous operation and, therefore,...
Diego Marcos-Jorquera, Francisco Maciá P&ea...
IRFC
2010
Springer
14 years 2 months ago
Knowledge Modeling in Prior Art Search
This study explores the benefits of integrating knowledge representations in prior art patent retrieval. Key to the introduced approach is the utilization of human judgment availa...
Erik Graf, Ingo Frommholz, Mounia Lalmas, Keith va...
CORR
2008
Springer
112views Education» more  CORR 2008»
13 years 10 months ago
Compact Labelings For Efficient First-Order Model-Checking
We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for check...
Bruno Courcelle, Cyril Gavoille, Mamadou Moustapha...
SIGMOD
2007
ACM
144views Database» more  SIGMOD 2007»
14 years 10 months ago
The TopX DB&IR engine
This paper proposes a demo of the TopX search engine, an extensive framework for unified indexing, querying, and ranking of large collections of unstructured, semistructured, and ...
Martin Theobald, Ralf Schenkel, Gerhard Weikum
DATE
2006
IEEE
124views Hardware» more  DATE 2006»
14 years 4 months ago
Cell delay analysis based on rate-of-current change
Abstract - A cell delay model based on rate-of-currentchange is presented, which accounts for the impact of the shape of the noisy waveform on the output voltage waveform. More pre...
Shahin Nazarian, Massoud Pedram