Sciweavers

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