4914 search results - page 876 / 983 » Arbitration of a help system |
175
click to vote
ICIW
2008
IEEE
16 years 21 days ago
2008
IEEE
— Model-Driven Architecture (MDA) is introduced to shorten the software development time, produce better quality of code and promote the reuse of software artifacts. On the other...
161
click to vote
IJCNN
2008
IEEE
16 years 20 days ago
2008
IEEE
— Hybrid intelligent systems (HIS) are very successful in tackling problems comprising of more than one distinct computational subtask. For instance, decision-making problems are...
184
click to vote
LCN
2008
IEEE
16 years 19 days ago
2008
IEEE
—Networked sensors and actuators for purposes from production monitoring and control to home automation are in increasing demand. Until recently, the main focus laid on wired sys...
191
click to vote
TPHOL
2008
IEEE
16 years 19 days ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
216
click to vote
AH
2008
Springer
16 years 18 days ago
2008
Springer
In order to navigate huge document collections efficiently, tagged hierarchical structures can be used. For users, it is important to correctly interpret tag combinations. In this ...