Sciweavers

2324 search results - page 331 / 465
» Benchmark Generation Using Domain Specific Modeling
Sort
View
CAISE
2006
Springer
15 years 1 months ago
A Platform for Managing Term Dictionaries for Utilizing Distributed Interview Archives
This paper proposes a platform that aims to support the whole process and facilitate archiving tasks at museums and galleries. When we try to preserve tacit knowledge or skills of ...
Kenro Aihara, Atsuhiro Takasu
LOGCOM
2000
63views more  LOGCOM 2000»
14 years 10 months ago
Reflection principles in computational logic
We introduce the concept of reflection principle as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of l...
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Co...
ENVSOFT
2011
134views more  ENVSOFT 2011»
14 years 4 months ago
Modelling and simulation of a jet fan for controlled air flow in large enclosures
Jet fans are applied for control of air flow and support of pollutant dispersal in large enclosures. In The Netherlands, application is well known for car parks as part of the fir...
B. J. M. v. d. Giesen, S. H. A. Penders, M. G. L. ...
ICIP
2008
IEEE
15 years 12 months ago
A block-based super-resolution for video sequences
An algorithm for video resolution enhancement is presented. The approach borrows from previous methods for still-image superresolution, introducing modifications better suited for...
Ryan S. Prendergast, Truong Q. Nguyen
QSIC
2007
IEEE
15 years 4 months ago
Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
Yan Sun, Bruce M. McMillin, Xiaoqing Frank Liu, Da...