Sciweavers

6608 search results - page 58 / 1322
» On the Completeness of Model Checking
Sort
View
67
Voted
ENTCS
2000
74views more  ENTCS 2000»
15 years 18 days ago
Categorical Models for Fairness: Completion vs Delay
Thomas T. Hildebrandt
74
Voted
CORR
2008
Springer
62views Education» more  CORR 2008»
15 years 11 days ago
A complete study of electroactive polymers for energy scavenging: modelling and experiments
Recent progresses in ultra low power microelectronics propelled the development of several microsensors and particularly the self powered microsystems (SPMS). One of their limitat...
C. Jean-Mistral, S. Basrour, J. J. Chaillout, A. B...
72
Voted
NN
2007
Springer
115views Neural Networks» more  NN 2007»
15 years 8 days ago
CONFIGR: A vision-based model for long-range figure completion
Gail A. Carpenter, Chaitanya Sai Gaddam, Ennio Min...
80
Voted
ICINCO
2010
150views Robotics» more  ICINCO 2010»
14 years 10 months ago
Identification of Discrete Event Systems - Implementation Issues and Model Completeness
Matthias Roth, Lothar Litz, Jean-Jacques Lesage