1301 search results - page 108 / 261 » Specifications via Realizability |
111
Voted
WISE
2009
Springer
16 years 27 days ago
2009
Springer
Recently, existing design methodologies targeting traditional Web applications have been extended for Rich Internet Application modeling support. These extended methodologies curre...
131
Voted
IUI
2010
ACM
16 years 18 days ago
2010
ACM
Aspect-level news browsing provides readers with a classified view of news articles with different viewpoints. It facilitates active interactions with which readers easily discove...
126
Voted
TBILLC
2005
Springer
15 years 9 months ago
2005
Springer
Structuring of information proceeds through the foregrounding of certain parts of the information. In general, foregrounding can be realized on various linguistic levels and it is...
147
Voted
DFG
2004
Springer
15 years 7 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
132
click to vote
IJCAI
1997
15 years 5 months ago
1997
When dealing with narrative texts, a system must possess a strong domain theory, and especially knowledge about situations occurring in the world. Otherwise the system must envisa...