Sciweavers

4250 search results - page 356 / 850
» Understanding the Requirements on Modelling Techniques
Sort
View
WOTUG
2008
15 years 8 months ago
Representation and Implementation of CSP and VCR Traces
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
Neil C. C. Brown, Marc L. Smith
ICPR
2008
IEEE
16 years 1 months ago
Subject-independent brain computer interface through boosting
This paper presents a subject-independent EEG (Electroencephalogram) classification technique and its application to a P300-based word speller. Due to EEG variations across subje...
Shijian Lu, Cuntai Guan, Haihong Zhang
ICDE
2007
IEEE
113views Database» more  ICDE 2007»
16 years 1 months ago
Ranking Query Results using Context-Aware Preferences
To better serve users’ information needs without requiring comprehensive queries from users, a simple yet effective technique is to explore the preferences of users. Since these...
Arthur H. van Bunningen, Maarten M. Fokkinga, Pete...
TAICPART
2006
IEEE
134views Education» more  TAICPART 2006»
16 years 25 days ago
Integration Testing of Components Guided by Incremental State Machine Learning
The design of complex systems, e.g., telecom services, is nowadays usually based on the integration of components (COTS), loosely coupled in distributed architectures. When compon...
Keqin Li 0002, Roland Groz, Muzammil Shahbaz
186
Voted
CP
2005
Springer
16 years 11 days ago
Robust Constraint Solving Using Multiple Heuristics
Abstract. Constraint Programming is a proven successful technique, but it requires skill in modeling problems, and knowledge on how algorithms interact with models. What can be a g...
Alfio Vidotto, Kenneth N. Brown, J. Christopher Be...