8838 search results - page 335 / 1768 » Generalizing Domain Theory |
174
click to vote
CADE
2010
Springer
15 years 8 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...
190
Voted
RE
2008
Springer
15 years 7 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...
199
Voted
WWW
2009
ACM
16 years 8 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...
153
click to vote
WWW
2008
ACM
16 years 8 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...
139
Voted
ICMCS
2006
IEEE
16 years 1 months 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...