4047 search results - page 699 / 810 » Algebraic Model Checking |
103
Voted
IJDST
2011
14 years 4 months ago
2011
The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production automa...
212
Voted
BPM
2011
Springer
14 years 24 days ago
2011
Springer
Compliance to legal regulations, internal policies, or best practices is becoming a more and more important aspect in business processes management. Compliance requirements are usu...
116
Voted
ECCV
2004
Springer
16 years 2 months ago
2004
Springer
In this paper, we propose a new PDE-based methodology for deformable surfaces that is capable of automatically evolving its shape to capture the geometric boundary of the data and ...
148
Voted
FMCAD
2006
Springer
15 years 4 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
123
Voted
ICTAI
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--Today's molecular biology is confronted with enormous amounts of data, generated by new high-throughput technologies, along with an increasing number of biological m...