Sciweavers

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