Search results for "proven"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Radhakrishnan Nagarajan	Power-Law Signatures and Patchiness in Genechip Oligonucleotide Microarrays.	Computational Intelligence in Biomedicine and Bioinformatics	2008	DBLP DOI BibTeX RDF
4	Gilbert Ritschard, Vincent Pisetta, Djamel A. Zighed	Inducing and Evaluating Classification Trees with Statistical Implicative Criteria.	Statistical Implicative Analysis	2008	DBLP DOI BibTeX RDF	Implication strength, Class assignment, Rule relevance, Profile typicality, Classification tree, Targeting
4	Francisco Luna 0001, Enrique Alba 0001, Antonio J. Nebro, Salvador Pedraza	Search Intensification in Metaheuristics for Solving the Automatic Frequency Problem in GSM.	Recent Advances in Evolutionary Computation for Combinatorial Optimization	2008	DBLP DOI BibTeX RDF	Real-World Frequency Planning, Evolutionary Algorithms, Simulated Annealing
4	Lothar Lemnitzer, Eelco Mossel, Kiril Ivanov Simov, Petya Osenova, Paola Monachesi	Using a Domain-Ontology and Semantic Search in an E-Learning Environment.	Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education	2008	DBLP DOI BibTeX RDF
4	Diego Alonso, Cristina Vicente-Chicote, Olivier Barais	V3Studio: A Component-Based Architecture Modeling Language.	ECBS	2008	DBLP DOI BibTeX RDF
4	Madjid Khichane, Patrick Albert, Christine Solnon	CP with ACO.	CPAIOR	2008	DBLP DOI BibTeX RDF
4	Vishal M. Patel 0001, Glenn R. Easley, Dennis M. Healy Jr.	A new multiresolution generalized directional filter bank design and application in image enhancement.	ICIP	2008	DBLP DOI BibTeX RDF
4	Zachary A. Garrett, Hideo Saito	Live video object tracking and segmentation using graph cuts.	ICIP	2008	DBLP DOI BibTeX RDF
4	Min-Jen Tsai, Ching-Ting Lin, Jung Liu	A wavelet-based watermarking scheme using double wavelet tree energy modulation.	ICIP	2008	DBLP DOI BibTeX RDF
4	Muriel Pressigout, Éric Marchand, Étienne Mémin	Hybrid tracking approach using optical flow and pose estimation.	ICIP	2008	DBLP DOI BibTeX RDF
4	Zhu Qiang	A New Co-evolutionary Genetic Algorithm for Traveling Salesman Problem.	ISECS	2008	DBLP DOI BibTeX RDF	convergence, traveling salesman problem, schemata
4	Wei Han, Lingbo Liu, Huaili Zheng	Dynamic Pricing by Multiagent Reinforcement Learning.	ISECS	2008	DBLP DOI BibTeX RDF	multiagent learning, electronic marketplaces, dynamic pricing
4	Ehsan Ullah Munir, Jianzhong Li 0001, Shengfei Shi, Zhaonian Zou, Qaisar Rasool	A Performance Study of Task Scheduling Heuristics in HC Environment.	MCO	2008	DBLP DOI BibTeX RDF	Task Partitioning heuristic, Performance evaluation, Task scheduling, Heterogeneous computing
4	David Buchfuhrer	The Complexity of SPP Formula Minimization.	ISAAC	2008	DBLP DOI BibTeX RDF
4	Olga Gelbart, Eugen Leontie, Bhagirath Narahari, Rahul Simha	Architectural support for securing application data in embedded systems.	EIT	2008	DBLP DOI BibTeX RDF
4	Lior Kuyer, Shimon Whiteson, Bram Bakker, Nikos Vlassis	Multiagent Reinforcement Learning for Urban Traffic Control Using Coordination Graphs.	ECML/PKDD (1)	2008	DBLP DOI BibTeX RDF	coordination graphs, max-plus, reinforcement learning, multiagent systems, traffic control
4	Claudia Campolo, Antonio Iera, Leonardo Militano, Antonella Molinaro	Dynamic bargaining of content shares in wireless cooperative systems.	PIMRC	2008	DBLP DOI BibTeX RDF
4	Francisco Novillo, Hiram Galeana, Anna Lainz, Ramon Ferrús, Joan J. Olmos	Performance analysis of transport and radio load balancing strategies for BS assignment in mobile access networks.	PIMRC	2008	DBLP DOI BibTeX RDF
4	Christian A. Hofmann, Andreas Knopp, Dirk Ogermann, Robert T. Schwarz, Berthold Lankl	Deficiencies of common MIMO channel models with regard to indoor Line-of-Sight channels.	PIMRC	2008	DBLP DOI BibTeX RDF
4	Dorit Nuzman, Ayal Zaks	Outer-loop vectorization: revisited for short SIMD architectures.	PACT	2008	DBLP DOI BibTeX RDF	SIMD, vectorization, data reuse, subword parallelism
4	Atte Joutsen, Vesa Nieminen, Timo Vuorensola, Lare Lekman	Wreck A Movie: empowering the masses for film productions.	MindTrek	2008	DBLP DOI BibTeX RDF	film productions, internet, collaboration, community
4	Ángel Cuevas, Paul El Khoury, Laurent Gomez, Annett Laube	Security Patterns for Capturing Encryption-Based Access Control to Sensor Data.	SECURWARE	2008	DBLP DOI BibTeX RDF
4	Yan Luo, Jeffrey J. P. Tsai	A Framework for Extrusion Detection Using Machine Learning.	ISORC	2008	DBLP DOI BibTeX RDF	extrusion detection, machine learning, intrusion detection
4	Yang Wang 0011, Huaiming Song, Weiping Wang 0005, Mingyuan An	A microscopic view on community detection in complex networks.	PIKM	2008	DBLP DOI BibTeX RDF	community, network, modularity, similarity
4	Cas Cremers	On the protocol composition logic PCL.	AsiaCCS	2008	DBLP DOI BibTeX RDF	security protocol analysis, composition, logic
4	Mariano Ceccato, Massimiliano Di Penta, Jasvir Nagra, Paolo Falcarin, Filippo Ricca, Marco Torchiano, Paolo Tonella	Towards experimental evaluation of code obfuscation techniques.	QoP	2008	DBLP DOI BibTeX RDF	empirical studies, software obfuscation
4	Carmit Hazay, Yehuda Lindell	Constructions of truly practical secure protocols using standard smartcards.	CCS	2008	DBLP DOI BibTeX RDF	provable security, smartcards, secure computation
4	DeLiang L. Wang, Guoning Hu	Cocktail Party Processing.	WCCI	2008	DBLP DOI BibTeX RDF
4	Yann Oddos, Katell Morin-Allory, Dominique Borrione	Assertion-Based Design with Horus.	MEMOCODE	2008	DBLP DOI BibTeX RDF
4	Thomas Grill, Margit Blauhut	Design Patterns Applied in a User Interface Design (UID) Process for Safety Critical Environments (SCEs).	USAB	2008	DBLP DOI BibTeX RDF	Safety critical environments, HCI, patterns
4	Nicolaj Bjerregaard Christensen, Stefan Wagner 0004	Using near field communication technology to achieve near-zero-configuration of sensors.	MobiQuitous	2008	DBLP DOI BibTeX RDF	HCI, ubiquitous computing, wireless, sensors, ambient assisted living, NFC, pervasive healthcare, zero-configuration
4	Gábor Takács, István Pilászy, Bottyán Németh, Domonkos Tikk	Investigation of Various Matrix Factorization Methods for Large Recommender Systems.	ICDM Workshops	2008	DBLP DOI BibTeX RDF
4	Baoying Wang, Qin Ding 0001, Imad Rahal	Parallel Hierarchical Clustering on Market Basket Data.	ICDM Workshops	2008	DBLP DOI BibTeX RDF
4	Ben Kao, Sau Dan Lee, David W. Cheung, Wai-Shing Ho, K. F. Chan	Clustering Uncertain Data Using Voronoi Diagrams.	ICDM	2008	DBLP DOI BibTeX RDF
4	Jean-François Boulicaut	If Constraint-Based Mining is the Answer: What is the Constraint? (Invited Talk).	ICDM Workshops	2008	DBLP DOI BibTeX RDF
4	Ian B. Haya, Brent R. Petersen, Bruce G. Colpitts	Optimum 2-D LOS MIMO Performance Using Omni-directional Antennas Attained through Genetic Algorithms.	CNSR	2008	DBLP DOI BibTeX RDF	genetic algorithms, wireless, MIMO, multipath, antenna, multiuser
4	Xiang Wu, Xinheng Wang 0001, Rui Liu	Solving Minimum Power Broadcast Problem in Wireless Ad-Hoc Networks Using Genetic Algorithm.	CNSR	2008	DBLP DOI BibTeX RDF	Genetic Algorithm, Broadcast, Ad Hoc
4	Mac Schwager, Jean-Jacques E. Slotine, Daniela Rus	Consensus learning for distributed coverage control.	ICRA	2008	DBLP DOI BibTeX RDF
4	Paul Ruvolo, Ian R. Fasel, Javier R. Movellan	Auditory mood detection for social and educational robots.	ICRA	2008	DBLP DOI BibTeX RDF
4	Lars Mikelsons, Tobias Bruckmann, Manfred Hiller, Dieter Schramm	A real-time capable force calculation algorithm for redundant tendon-based parallel manipulators.	ICRA	2008	DBLP DOI BibTeX RDF
4	Yizhar Or, Elon Rimon	On the hybrid dynamics of planar mechanisms supported by frictional contacts. I: necessary conditions for stability.	ICRA	2008	DBLP DOI BibTeX RDF
4	Eiichi Yoshida, Mathieu Poirier, Jean-Paul Laumond, Oussama Kanoun, Florent Lamiraux, Rachid Alami, Kazuhito Yokoi	Whole-body motion planning for pivoting based manipulation by humanoids.	ICRA	2008	DBLP DOI BibTeX RDF
4	Lounell B. Gueta, Ryosuke Chiba, Jun Ota 0001, Tsuyoshi Ueyama, Tamio Arai	Coordinated motion control of a robot arm and a positioning table with arrangement of multiple goals.	ICRA	2008	DBLP DOI BibTeX RDF
4	Mac Schwager, Francesco Bullo, David Skelly, Daniela Rus	A ladybug exploration strategy for distributed adaptive coverage control.	ICRA	2008	DBLP DOI BibTeX RDF
4	Dianwei Qian, Jianqiang Yi, Dongbin Zhao	Control of a class of under-actuated systems with saturation using hierarchical sliding mode.	ICRA	2008	DBLP DOI BibTeX RDF
4	Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin	A practical and precise inference and specializer for array bound checks elimination.	PEPM	2008	DBLP DOI BibTeX RDF	size properties, dependent types, safety verification
4	Jan Schnasse, Sebastian Beyl, Elona Chudobkaite, Volker Heydegger, Manfred Thaller	XCL: The Extensible Characterisation Language - One Step towards an Automatic Evaluation of Format Conversions.	ECDL	2008	DBLP DOI BibTeX RDF
4	Václava Kettnerová, Markéta Lopatková, Klára Hrstková	Semantic Roles in Valency Lexicon of Czech Verbs: Verbs of Communication and Exchange.	GoTAL	2008	DBLP DOI BibTeX RDF
4	Kamesh Munagala, Peng Shi 0002	The Stochastic Machine Replenishment Problem.	IPCO	2008	DBLP DOI BibTeX RDF
4	Timotheos Kastrinogiannis, Eirini-Eleni Tsiropoulou, Symeon Papavassiliou	Utility-Based Uplink Power Control in CDMA Wireless Networks with Real-Time Services.	ADHOC-NOW	2008	DBLP DOI BibTeX RDF	utility-based resource allocation, QoS, Wireless networks, real-time services
4	Elchanan Mossel, Allan Sly	Rapid mixing of Gibbs sampling on graphs that are sparse on average.	SODA	2008	DBLP BibTeX RDF	Erd?s-Rényi random graphs, Glauber dynamics, Gibbs samplers, mixing time, Ising model
4	Bo Qin, Qianhong Wu, Willy Susilo, Yi Mu 0001	Publicly Verifiable Privacy-Preserving Group Decryption.	Inscrypt	2008	DBLP DOI BibTeX RDF	Group decryption, Anonymity, Bilinear pairing, Group-oriented cryptography
4	Ian T. Foster	Services for Science.	ICSOC	2008	DBLP DOI BibTeX RDF
4	Mengsheng Zhang, Wei Wang 0010, Jinze Liu	Mining Approximate Order Preserving Clusters in the Presence of Noise.	ICDE	2008	DBLP DOI BibTeX RDF
4	Liesbeth Steffens, Manvi Agarwal, Pieter van der Wolf	Real-Time Analysis for Memory Access in Media Processing SoCs: A Practical Approach.	ECRTS	2008	DBLP DOI BibTeX RDF
4	Claude Y. Laporte, Simon Alexandre, Rory O'Connor	A Software Engineering Lifecycle Standard for Very Small Enterprises.	EuroSPI	2008	DBLP DOI BibTeX RDF	Very Small Enterprises, Standards, Lifecycles, ISO
4	Maxim Kalaev, Vineet Bafna, Roded Sharan	Fast and Accurate Alignment of Multiple Protein Networks.	RECOMB	2008	DBLP DOI BibTeX RDF
4	Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich	Verifying correct usage of atomic blocks and typestate.	OOPSLA	2008	DBLP DOI BibTeX RDF	transactional memory, permissions, typestate
4	Daniel Wasserrab, Andreas Lochbihler	Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL.	TPHOLs	2008	DBLP DOI BibTeX RDF
4	Brandon Paulson, Tracy Hammond	PaleoSketch: accurate primitive sketch recognition and beautification.	IUI	2008	DBLP DOI BibTeX RDF	shape beautification, pen-based interfaces, sketch recognition, low-level processing
4	Enric Cervera, Jorge Sales, Leo Nomdedeu, Raúl Marín 0001, Veysel Gazi	Agents at play: Off-the-shelf software for practical multi-robot applications.	IROS	2008	DBLP DOI BibTeX RDF
4	Can Wang 0002, Dong Sun 0001	A synchronous controller for multiple mobile robots in time-varied formations.	IROS	2008	DBLP DOI BibTeX RDF
4	Houssem Abdellatif, Bodo Heimann, Jens Kotlarski	Passivity-based observer/controller design with desired dynamics compensation for 6 dofs parallel manipulators.	IROS	2008	DBLP DOI BibTeX RDF
4	Andrew Howard	Real-time stereo visual odometry for autonomous ground vehicles.	IROS	2008	DBLP DOI BibTeX RDF
4	Mika Luimula, Kari Kuutti	Locawe: a novel platform for location-aware multimedia services.	MUM	2008	DBLP DOI BibTeX RDF	wireless sensor networks, ubiquitous computing, location-awareness
4	Udo Schilcher, Michael Gyarmati, Christian Bettstetter, Yun Won Chung, Younghan Kim 0002	Measuring Inhomogeneity in Spatial Distributions.	VTC Spring	2008	DBLP DOI BibTeX RDF
4	Gang Zhao, Xiangqian Liu, Anup Kumar	Geographic Multicast with K-Means Clustering for Wireless Sensor Networks.	VTC Spring	2008	DBLP DOI BibTeX RDF
4	Andres Arjona, Antti Ylä-Jääski	Mobile IP as an Enabling Technology for VoIP in Metropolitan Wireless Mesh Networks.	VTC Spring	2008	DBLP DOI BibTeX RDF
4	Julius Degesys, Prithwish Basu, Jason Redi	Synchronization of strongly pulse-coupled oscillators with refractory periods and random medium access.	SAC	2008	DBLP DOI BibTeX RDF	wireless sensor networks, synchronization, self-organizing, pulse-coupled oscillators
4	Rafael Correia, Fabio Kon, Rubens Kon	Borboleta: a mobile telehealth system for primary homecare.	SAC	2008	DBLP DOI BibTeX RDF	preventive medicine, mobile computing, telemedicine, mobile databases, telehealth, homecare
4	Abdul Babar, Didar Zowghi, Karl Cox, Vladimir Tosic	Three integration approaches for map and B-SCP requirements engineering techniques.	SAC	2008	DBLP DOI BibTeX RDF	integration, requirements engineering, business value
4	Oleh Dzyubachyk, Wiro J. Niessen, Erik Meijering	Advanced level-set based multiple-cell segmentation and tracking in time-lapse fluorescence microscopy images.	ISBI	2008	DBLP DOI BibTeX RDF
4	Chavdar Papazov, Vincent J. Dercksen, Hans Lamecker, Hans-Christian Hege	Visualizing morphogenesis and growth by temporal interpolation of surface-based 3D atlases.	ISBI	2008	DBLP DOI BibTeX RDF
4	Jesús Angulo, Béatrice Schaack	Morphological-based adaptive segmentation and quantification of cell assays in high content screening.	ISBI	2008	DBLP DOI BibTeX RDF
4	Jan Porekar, Aljosa Jerman-Blazic, Tomaz Klobucar	Towards Organizational Privacy Patterns.	ICDS	2008	DBLP DOI BibTeX RDF	PET – privacy enhancing technologies, privacy, patterns
4	Lawrence Leinweber, Swarup Bhunia	Fine-Grained Supply Gating Through Hypergraph Partitioning and Shannon Decomposition for Active Power Reduction.	DATE	2008	DBLP DOI BibTeX RDF
4	Alejandro Masrur, Sebastian Drössler, Georg Färber	Improvements in Polynomial-Time Feasibility Testing for EDF.	DATE	2008	DBLP DOI BibTeX RDF
4	Wolfgang Eberle, Michaël Goffioul	A scalable low-power digital communication network architecture and an automated design path for controlling the analog/RF part of SDR transceivers.	DATE	2008	DBLP DOI BibTeX RDF
4	Sungpack Hong, Sungjoo Yoo, Byeong Bin, Kyu-Myung Choi, Soo-Kwan Eo, Taehwan Kim 0007	Dynamic Voltage Scaling of Supply and Body Bias Exploiting Software Runtime Distribution.	DATE	2008	DBLP DOI BibTeX RDF
4	Ke Gao, Shouxun Lin, Yongdong Zhang 0001, Sheng Tang, Huamin Ren	Attention Model Based SIFT Keypoints Filtration for Image Retrieval.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	SIFT Keypoints Filtration, Image Retrieval, Attention Model
4	Qi Zhang 0013, H. Dam	WiMAX network performance monitoring & optimization.	NOMS	2008	DBLP DOI BibTeX RDF
4	Albrecht Zimmermann	Ensemble-Trees: Leveraging Ensemble Power Inside Decision Trees.	Discovery Science	2008	DBLP DOI BibTeX RDF
4	Eva Sciacca, V. A. Shiva Ayyadurai, C. Forbes Dewey Jr.	A web based tool for integration of molecular pathway models.	BIBE	2008	DBLP DOI BibTeX RDF
4	Gregor Stiglic, Juan J. Rodríguez Diez, Peter Kokol	Feature Selection and Classification for Small Gene Sets.	PRIB	2008	DBLP DOI BibTeX RDF	machine learning, feature selection, ensemble of classifiers, Gene expression analysis
4	Tina Mattes, Frank Schiller, Annemarie Mörwald, Thomas Honold	Analysis of Nested CRC with Additional Net Data in Communication.	SAFECOMP	2008	DBLP DOI BibTeX RDF	Cyclic Redundancy Check, Residual error probability, Safety-critical communication
4	Dominik Domis, Mario Trapp	Integrating Safety Analyses and Component-Based Design.	SAFECOMP	2008	DBLP DOI BibTeX RDF
4	Andrzej Zalewski, Piotr Sztandera, Marcin Ludzia, Marek Zalewski	Modeling and Analyzing Disaster Recovery Plans as Business Processes.	SAFECOMP	2008	DBLP DOI BibTeX RDF
4	Jaap Kamps, Marijn Koolen	The Impact of Document Level Ranking on Focused Retrieval.	INEX	2008	DBLP DOI BibTeX RDF
4	Bowei Du, Eric A. Brewer	Dtwiki: a disconnection and intermittency tolerant wiki.	WWW	2008	DBLP DOI BibTeX RDF	wiki, delay-tolerant networking, developing regions
4	Yu-Ru Lin, Yun Chi, Shenghuo Zhu, Hari Sundaram, Belle L. Tseng	Facetnet: a framework for analyzing communities and their evolutions in dynamic networks.	WWW	2008	DBLP DOI BibTeX RDF	community net, evolution net, soft membership, community, evolution, non-negative matrix factorization
4	Chiyoung Seo, George Edwards, Sam Malek, Nenad Medvidovic	A Framework for Estimating the Impact of a Distributed Software System's Architectural Style on its Energy Consumption.	WICSA	2008	DBLP DOI BibTeX RDF	component-based distributed systems, Architectural styles, energy estimation
4	André Chailloux, Dragos Florin Ciocan, Iordanis Kerenidis, Salil P. Vadhan	Interactive and Noninteractive Zero Knowledge are Equivalent in the Help Model.	TCC	2008	DBLP DOI BibTeX RDF	noninteractive zero-knowledge proofs, quantum zero knowledge, computational complexity, cryptography, Arthur-Merlin games, commitment schemes
4	Serge Fehr, Christian Schaffner	Randomness Extraction Via delta -Biased Masking in the Presence of a Quantum Attacker.	TCC	2008	DBLP DOI BibTeX RDF
4	Martina Hörmann, Tiziana Margaria, Thomas Mender, Ralf Nagel 0001, Bernhard Steffen, Hong Trinh	The jABC Approach to Rigorous Collaborative Development of SCM Applications.	ISoLA	2008	DBLP DOI BibTeX RDF
4	Ricardo Fernández Pascual, José M. García 0001, Manuel E. Acacio, José Duato	Fault-Tolerant Cache Coherence Protocols for CMPs: Evaluation and Trade-Offs.	HiPC	2008	DBLP DOI BibTeX RDF
4	Holger Grandy, Markus Bischof, Kurt Stenzel, Gerhard Schellhorn, Wolfgang Reif	Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code.	FM	2008	DBLP DOI BibTeX RDF
4	Albert Gazendam	Building and Refining General Purpose Computing Clusters in an Emerging HPCOriented Research Environment.	HPCS	2008	DBLP DOI BibTeX RDF	general purpose, refinement, computing clusters, developing world
4	Harald Piringer, Wolfgang Berger, Helwig Hauser	Quantifying and Comparing Features in High-Dimensional Datasets.	IV	2008	DBLP DOI BibTeX RDF
4	Ankur Moitra, Tom Leighton	Some Results on Greedy Embeddings in Metric Spaces.	FOCS	2008	DBLP DOI BibTeX RDF
4	Benny Applebaum, Boaz Barak, David Xiao	On Basing Lower-Bounds for Learning on Worst-Case Assumptions.	FOCS	2008	DBLP DOI BibTeX RDF