484 search results - page 54 / 97 » Computer-Aided Computing |
CLEIEJ
2006
13 years 7 months ago
2006
At the moment, there is a need for new knowledge representation using Thesaurus or Ontologies because of the need to reuse knowledge. In this paper, a Software Architecture knowle...
KBS
2007
13 years 7 months ago
2007
Algorithmic composition of musical pieces is one of the most popular areas of computer aided music research. Various attempts have been made successfully in the area of music comp...
ICDT
2009
ACM
13 years 5 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
COSIT
2011
Springer
12 years 7 months ago
2011
Springer
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...
DAC
2009
ACM
14 years 8 months ago
2009
ACM
Circuit reliability is affected by various fabrication-time and run-time effects. Fabrication-induced process variation has significant impact on circuit performance and reliabilit...