Sciweavers

1301 search results - page 108 / 261
» Specifications via Realizability
Sort
View
111
Voted
WISE
2009
Springer
16 years 27 days ago
Personalizing the Interface in Rich Internet Applications
Recently, existing design methodologies targeting traditional Web applications have been extended for Rich Internet Application modeling support. These extended methodologies curre...
Irene Garrigós, Santiago Meliá, Sven...
131
Voted
IUI
2010
ACM
16 years 18 days ago
Aspect-level news browsing: understanding news events from multiple viewpoints
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...
Souneil Park, Sang Jeong Lee, Junehwa Song
126
Voted
TBILLC
2005
Springer
15 years 9 months ago
The Main Devices of Foregrounding in the Information Structure of Georgian Sentences
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...
Rusudan Asatiani
147
Voted
DFG
2004
Springer
15 years 7 months ago
Verification of PLC Programs Given as Sequential Function Charts
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...
Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven ...
IJCAI
1997
15 years 5 months ago
An Aggregation Procedure for Building Episodic Memory
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...
Olivier Ferret, Brigitte Grau