2501 search results - page 124 / 501 » Logics with Rank Operators |
DEON
2004
Springer
15 years 4 months ago
2004
Springer
Often a set of imperatives or norms seems satisfiable from the outset, but conflicts arise when ways to fulfill all are ruled out by unfortunate circumstances. Semantic methods to ...
DLOG
2010
14 years 11 months ago
2010
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...
FSKD
2008
Springer
15 years 2 months ago
2008
Springer
Evaluating web services provisioning is able to reduce redundancy in search and also generates advantages to service providers who deliver valuable services. However, there exist ...
FSKD
2008
Springer
15 years 2 months ago
2008
Springer
The demand for outsourcing in the information systems (IS) field has become a part of basic corporate strategy and has experienced a considerable growth in recent years. The proce...
108
click to vote
RR
2010
Springer
14 years 11 months ago
2010
Springer
For multimedia interpretation, and in particular for the combined interpretation of information coming from different modalities, a semantically well-founded formalization is requ...