Sciweavers

12993 search results - page 243 / 2599
» Artificial Intelligence in China
Sort
View
146
Voted
APN
2007
Springer
16 years 27 days ago
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems
Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ul...
APN
2007
Springer
16 years 27 days ago
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets
Pierre Ganty, Jean-François Raskin, Laurent...
137
Voted
CCIA
2007
Springer
16 years 26 days ago
Modeling Problem Transformations based on Data Complexity
Ester Bernadó-Mansilla, Núria Maci&a...
CCIA
2007
Springer
16 years 26 days ago
What Is a Real-World SAT Instance?
Carlos Ansótegui, Maria Luisa Bonet, Jordi ...
EVOW
2007
Springer
16 years 26 days ago
Evolutionary Local Search for the Minimum Energy Broadcast Problem
Francesco Archetti, Stefano Lanzeni, Enza Messina,...