520 search results - page 46 / 104 » On the discovery of process models from their instances |
157
click to vote
ISMIR
2005
Springer
15 years 11 months ago
2005
Springer
Audio descriptor extraction is the activity of finding mathematical models which describe properties of the sound, requiring signal processing skills. The scientific literature pr...
168
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
169
click to vote
SOCO
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In the context of Services Oriented Architecture (Soa), complex systems are realized through the design of business–driven processes. Since the design of a complete pro...
170
click to vote
AINA
2006
IEEE
16 years 6 days ago
2006
IEEE
Abstract— Wireless sensor networks, by providing an unprecedented way of interacting with the physical environment, have become a hot topic for research over the last few years. ...
166
click to vote
PRDC
2006
IEEE
16 years 4 days ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...