Sciweavers

316 search results - page 7 / 64
» anns 2007
Sort
View
CPC
2007
70views more  CPC 2007»
14 years 10 months ago
The Complexity of Ferromagnetic Ising with Local Fields
Leslie Ann Goldberg, Mark Jerrum
ICDE
2007
IEEE
95views Database» more  ICDE 2007»
15 years 4 months ago
ProcMiner: Advancing Process Analysis and Management
Miika Nurminen, Anne Honkaranta, Tommi Kärkk&...
ATVA
2007
Springer
97views Hardware» more  ATVA 2007»
15 years 4 months ago
Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications
Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, ...