5227 search results - page 256 / 1046 » Enterprise modeling using class and instance models |
123
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
When the same set of people interact frequently with one another, they grow to think more and more along the same lines, a phenomenon we call "collective cognitive convergenc...
202
click to vote
ENTCS
2006
15 years 5 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
128
Voted
MP
2006
15 years 5 months ago
2006
Abstract. There is a natural norm associated with a starting point of the homogeneous selfdual (HSD) embedding model for conic convex optimization. In this norm two measures of the...
162
click to vote
ECIR
2011
Springer
14 years 9 months ago
2011
Springer
Aggregate ranking tasks are those where documents are not the final ranking outcome, but instead an intermediary component. For instance, in expert search, a ranking of candidate ...
203
click to vote
TASE
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...