543 search results - page 24 / 109 » FMC: An Approach Towards Architecture-Centric System Develop... |
168
click to vote
FAABS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
110
Voted
ICALT
2010
IEEE
15 years 2 months ago
2010
IEEE
ā Most e-learning systems require intervention from a teacher. The development of adaptive hypermedia systems, such as intelligent tutoring systems, aimed to reduce the teachersā...
121
click to vote
CEC
2007
IEEE
15 years 8 months ago
2007
IEEE
āConstraint satisfaction problems (CSPs) widely occur in artiļ¬cial intelligence. In the last twenty years, many algorithms and heuristics were developed to solve CSP. Recently,...
ICRA
2009
IEEE
15 years 8 months ago
2009
IEEE
ā Recently there has been increasing research on the development of autonomous ļ¬ying vehicles. Whereas most of the proposed approaches are suitable for outdoor operation, only ...
120
click to vote
IDEAL
2003
Springer
15 years 7 months ago
2003
Springer
In China-US Million Book Digital Library, output of the digitalization process is more than one terabyte of text in OEB and PDF format. To access these data quickly and accurately,...