BibSonomy publications for /author/FarzanFri Jan 27 00:00:00 CET 2012POPLconf/popl/2012297-308Verification of parameterized concurrent programs by modular reasoning about data and control.2012dblp Fri Jan 06 00:00:00 CET 2012DATEconf/date/20021102EZ Encoding: A Class of Irredundant Low Power Codes for Data Address and Multiplexed Address Buses.2002dblp Tue Dec 06 11:15:12 CET 2011New York, NY, USAProceedings of the 12th international conference on Intelligent user interfaces52--61Collecting community wisdom: integrating social search \& social navigation2007community navigation search social The goal of this paper is to detail the integration of two "social Web" technologies - social search and social navigation - and to highlight the benefits of such integration on two levels. Firstly, both technologies harvest and harness "community wisdom" and in an integrated system each of the search and navigation components can benefit from the additional community wisdom gathered by the other when assisting users to locate relevant information. Secondly, by integrating search and browsing we facilitate the development of a unique interface that effectively blends search and browsing functionality as part of a seamless social information access service. This service allows users to effectively combine their search and browsing behaviors. In this paper we will argue that this integration provides significantly more than the simple sum of the parts.Mon Dec 05 00:00:00 CET 2011CoRRA Way Memoization Technique for Reducing Power Consumption of Caches in Application Specific Integrated Processorsabs/0710.47032007dblp Mon Dec 05 00:00:00 CET 2011CoRRStatistical Performance Analysis of MDL Source Enumeration in Array Processingabs/0901.31962009dblp Mon Dec 05 00:00:00 CET 2011CoRRPriority Queues with Multiple Time Fingersabs/1009.55382010dblp Mon Dec 05 00:00:00 CET 2011CoRRA Unified Approach to Sparse Signal Processingabs/0902.18532009dblp Mon Dec 05 00:00:00 CET 2011CoRROn The Positive Definiteness of Polarity Coincidence Correlation Coefficient Matrixabs/0901.46482009dblp Mon Dec 05 00:00:00 CET 2011CoRRDirection-of-Arrival Estimation for Temporally Correlated Narrowband Signalsabs/0904.36422009dblp Fri Dec 02 00:00:00 CET 2011ISAACconf/isaac/2011302-311Lecture Notes in Computer ScienceCompact Representation of Posets.70742011dblp Tue Nov 22 00:00:00 CET 2011USABconf/usab/2011367-378Lecture Notes in Computer ScienceUser-Centered Design of Accessible Web and Automation Systems.70582011dblp Tue Nov 15 00:00:00 CET 2011IWOCAconf/iwoca/2011209-222Lecture Notes in Computer ScienceA Unifying Property for Distribution-Sensitive Priority Queues.70562011dblp Thu Aug 04 00:00:00 CEST 2011KESconf/kes/2004-2653-660Lecture Notes in Computer ScienceDesign of a Robust and Adaptive Wavelet Neural Network for Control of Three Phase Boost Rectifiers.32142004dblp Thu Aug 04 00:00:00 CEST 2011KESconf/kes/2004-2738-744Lecture Notes in Computer ScienceDamping Enhancement in Power Systems Using a Robust Fuzzy Sliding Mode Based PSS Controller.32142004dblp Thu Aug 04 00:00:00 CEST 2011KESconf/kes/2004-2745-752Lecture Notes in Computer ScienceDesign a Robust and Adaptive Reinforcement Learning Based SVC Controller for Damping Enhancement in Power Systems.32142004dblp Thu Aug 04 00:00:00 CEST 2011KESconf/kes/2004-3278-284Lecture Notes in Computer ScienceSpeed Control and Torque Ripple Minimization in Switch Reluctance Motors Using Context Based Brain Emotional Learning.32152004dblp Thu Aug 04 00:00:00 CEST 2011KESconf/kes/2004-3559-565Lecture Notes in Computer ScienceImprovement of Low Frequency Oscillation Damping in Power Systems Via an Adaptive Critic Based NeuroFuzzy Controller.32152004dblp Fri Jul 08 00:00:00 CEST 2011AIMSAconf/aimsa/2004321-330Lecture Notes in Computer ScienceRobust and Adaptive Load Frequency Control of Multi-area Power Networks with System Parametric Uncertainties Using Temporal Difference Based MLP Neural Networks.31922004dblp Fri Jul 08 00:00:00 CEST 2011IDEALconf/ideal/2004437-442Lecture Notes in Computer ScienceSelf-tuning Based Fuzzy PID Controllers: Application to Control of Nonlinear HVAC Systems.31772004dblp Thu Jul 07 00:00:00 CEST 2011CAVconf/cav/2004501-505Lecture Notes in Computer ScienceFormal Analysis of Java Programs in JavaFAN.31142004dblp