8838 search results - page 335 / 1768 » Generalizing Domain Theory |
155
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Formulas are often monotonic in the sense that if the formula is satisfiable for given domains of discourse, it is also satisfiable for all larger domains. Monotonicity i...
180
click to vote
RE
2008
Springer
15 years 6 months ago
2008
Springer
In order to make requirements comprehensible to humans and as unambiguous as possible, a glossary and/or domain model is needed for defining the terminology used. Unless these are...
171
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
This paper formulates a collaborative system for modeling business application. The system uses a Semantic Wiki to enable collaboration between the various stakeholders involved i...
140
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
In this paper we examine 1) the scope of geo-ontologies used especially for the purposes of information retrieval on the Web, 2) the core geographical concepts and their mutual re...
126
click to vote
ICMCS
2006
IEEE
16 years 24 days ago
2006
IEEE
The resampling of discrete-time signals where the underlying analog signal is non-bandlimited is considered in this paper. We extend the generalized sampling theory developed base...