Sciweavers

1366 search results - page 186 / 274
» Modularizing Contexted Constraints
Sort
View
IUI
2004
ACM
15 years 8 months ago
Flexible re-engineering of web sites
Re-engineering transforms a final user interface into a logical representation that is manipulable enough to allow forward engineering to port a UI from one computing platform to ...
Laurent Bouillon, Jean Vanderdonckt, Kwok Chieu Ch...
DAWAK
2004
Springer
15 years 8 months ago
SCLOPE: An Algorithm for Clustering Data Streams of Categorical Attributes
Clustering is a difficult problem especially when we consider the task in the context of a data stream of categorical attributes. In this paper, we propose SCLOPE, a novel algorith...
Kok-Leong Ong, Wenyuan Li, Wee Keong Ng, Ee-Peng L...
FAABS
2004
Springer
15 years 8 months ago
Towards Timed Automata and Multi-agent Systems
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...
Guillaume Hutzler, Hanna Klaudel, D. Yue Wang
ICGI
2004
Springer
15 years 8 months ago
Learnability of Pregroup Grammars
Abstract. This paper investigates the learnability of Pregroup Grammars, a context-free grammar formalism recently defined in the field of computational linguistics. In a first ...
Denis Béchet, Annie Foret, Isabelle Tellier
DATE
2003
IEEE
120views Hardware» more  DATE 2003»
15 years 8 months ago
SystemC-VHDL Co-Simulation and Synthesis in the HW Domain
Embedded systems design requires the development of complex HW modules to cope with the most stringent timing constraints of the specifications. This implies the need to update an...
Massimo Bombana, Francesco Bruschi