1788 search results - page 171 / 358 » Model Theory for Process Algebra |
138
Voted
ICIW
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approa...
112
Voted
IEAAIE
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in A...
148
Voted
WETICE
2005
IEEE
15 years 9 months ago
2005
IEEE
System theory propagates the use of models which e level of abstraction to cope with complexity, evolving out of variety and connectivity. Different modeling techniques have been ...
160
Voted
PAMI
2008
15 years 3 months ago
2008
Standard 3D imaging systems process only a single return at each pixel from an assumed single opaque surface. However, there are situations when the laser return consists of multip...
156
Voted
ICDT
2012
ACM
13 years 6 months ago
2012
ACM
We introduce a representation system for relational data based on algebraic factorisation using distributivity of product over union and commutativity of product and union. We giv...