Sciweavers

12774 search results - page 257 / 2555
» A Framework for Proof Systems
Sort
View
AMAI
2006
Springer
15 years 6 months ago
A formal mathematical framework for modeling probabilistic hybrid systems
Robert St-Aubin, Joel Friedman, Alan K. Mackworth
ESWA
2008
105views more  ESWA 2008»
15 years 6 months ago
Personalized information retrieval system in the framework of fuzzy logic
Mourad Oussalah, S. Khan, Samia Nefti
ETS
2008
IEEE
83views Hardware» more  ETS 2008»
15 years 6 months ago
An Object-Oriented Course Framework for Developing Adaptive Learning Systems
Shian-Shyong Tseng, Jun-Ming Su, Gwo-Jen Hwang, Gw...
IANDC
2008
76views more  IANDC 2008»
15 years 6 months ago
A framework for the verification of infinite-state graph transformation systems
Paolo Baldan, Andrea Corradini, Barbara König