1026 search results - page 170 / 206 » Semantic Components for Timetabling |
ICTAI
1993
IEEE
15 years 6 months ago
1993
IEEE
The guidar project aims to support the complete activity of Graphical User Interface Development And Reuse. We propose to organize the system as a collaborative architecture of in...
145
click to vote
ICTAI
1993
IEEE
15 years 6 months ago
1993
IEEE
MERIT (Multimedia Extensions of Retrieval Interaction Tools)1 provides a user-centered interface to a database covering European research programs, projects, and consortia in the ...
107
click to vote
HYBRID
1994
Springer
15 years 6 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
107
click to vote
VL
1992
IEEE
15 years 6 months ago
1992
IEEE
If future electronic documents are to be truly useful, we must devise ways to automatically turn them into knowledgebases. In particular, we must be able to do this for diagrams. ...
111
click to vote
FMCAD
2009
Springer
15 years 5 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...