2232 search results - page 120 / 447 » Formal Modeling and Analysis of Organizations |
238
click to vote
CHARME
2005
Springer
16 years 5 hour ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
196
click to vote
SEMWEB
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. WebML (Web Modelling Language) is a language for the design of dataintensive Web sites. It is supported by visual tools allowing the definition of the conceptual data or...
168
click to vote
WAIM
2000
Springer
15 years 10 months ago
2000
Springer
Online Analytical Processing (OLAP) data is frequently organized in the form of multidimensional data cubes each of which is used to examine a set of data values, called measures, ...
147
click to vote
CANDC
2009
ACM
16 years 29 days ago
2009
ACM
We present a sub-symbolic computational model for effecting knowledge re-representation and insight. Given a set of data, manifold learning is used to automatically organize the d...
158
click to vote
ICALT
2007
IEEE
16 years 24 days ago
2007
IEEE
Nonaka and his knowledge transformation model SECI revolutionized the thinking about organizations as social learning systems. He introduced technical concepts like hypertext into...