2409 search results - page 362 / 482 » Logical systems for structured specifications |
130
Voted
ESWS
2009
Springer
15 years 10 months ago
2009
Springer
This thesis investigates the question whether and how ontologies such as the ones currently evolving in the Semantic Web can serve as knowledge structures for the generation of que...
106
click to vote
KCAP
2009
ACM
15 years 10 months ago
2009
ACM
Readers interested in the context of an event covered in the news such as the dismissal of a lawsuit can benefit from easily finding out about the overall news situation, the lega...
123
Voted
ETFA
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents an application for the automatic generation of Bond Graph models. The basis for this automated creation is a modified plant model in the XML-format according t...
91
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
A novel no-reference blockiness metric that can automatically and perceptually quantify blocking artifacts of DCT coding is presented. The proposed metric is built upon the specif...
188
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Some theoretical models used in IS research may lack explanatory power and consistency because of their failure to provide an adequate means of accounting for contextual and situa...