181 search results - page 20 / 37 » It's About Time: Real-Time Logics Reviewed |
78
Voted
KBSE
2006
IEEE
15 years 3 months ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
ICTAI
2007
IEEE
15 years 3 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
88
Voted
IADIS
2004
14 years 11 months ago
2004
Nowadays, wearable devices, such as mobile phones, PDAs, etc. gain widespread popularity for communication and data exchange. Consequently, several approaches investigate the prob...
FUZZIEEE
2007
IEEE
15 years 3 months ago
2007
IEEE
— The real time flexible operation of a car-like mobile robot with nonholonomic constraints in dynamic environment is still a very challenging problem. The difficulty lies in t...
85
Voted
EUROCAST
2003
Springer
15 years 2 months ago
2003
Springer
This paper explores the computational capacity of a novel local computational model that expands the conventional analogical and logical dynamic neural models, based on the charge ...