Search results for "Solar"

Hits ?▲	Authors	Title	Venue	Year	Link
21	Plácido A. Souza Neto, Genoveva Vargas-Solar, Umberto Souza da Costa, Martin A. Musicante	Designing service-based applications in the presence of non-functional properties: A mapping study.	Inf. Softw. Technol.	2016	DBLP DOI BibTeX RDF
21	Alvin Cheung, Samuel Madden 0001, Armando Solar-Lezama	Sloth: Being Lazy Is a Virtue (When Issuing Database Queries).	ACM Trans. Database Syst.	2016	DBLP DOI BibTeX RDF
21	Gavin Kemp, Pedropablo Lopez Amaya, Catarina Ferreira Da Silva, Genoveva Vargas-Solar, Parisa Ghodous, Christine Collet	Big Data Collections And Services For Building Intelligent Transport Applications.	Int. J. Electron. Bus. Manag.	2016	DBLP BibTeX RDF
21	Fernando del Solar Dorrego, Pablo Gardella	Acoustical renovation of "Nuestra Señora de la Paz".	Proc. Meet. Acoust.	2016	DBLP DOI BibTeX RDF
21	Yewen Pu, Karthik Narasimhan, Armando Solar-Lezama, Regina Barzilay	sk_p: a neural program corrector for MOOCs.	SPLASH (Companion Volume)	2016	DBLP DOI BibTeX RDF
21	Shachar Itzhaky, Rohit Singh 0002, Armando Solar-Lezama, Kuat Yessenov, Yongquan Lu, Charles E. Leiserson, Rezaul Alam Chowdhury	Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations.	OOPSLA	2016	DBLP DOI BibTeX RDF
21	John Impagliazzo, Ernesto Cuadros-Vargas, Gonzalo Begazo Escobedo, Juan José Miranda del Solar, Mihaela Sabin, Barbara Viola	Latin American Perspectives and the IT2017 Curricular Guidelines.	ITiCSE	2016	DBLP DOI BibTeX RDF
21	Pablo Cano, Javier Ruiz-del-Solar	Robust Tracking of Multiple Soccer Robots Using Random Finite Sets.	RoboCup	2016	DBLP DOI BibTeX RDF
21	David Leonardo Leottau, Aashish Vatsyayan, Javier Ruiz-del-Solar, Robert Babuska	Decentralized Reinforcement Learning Applied to Mobile Robots.	RoboCup	2016	DBLP DOI BibTeX RDF
21	Carlos Celemin, Javier Ruiz-del-Solar	Teaching agents with corrective human feedback for challenging problems.	LA-CCI	2016	DBLP DOI BibTeX RDF
21	Jean Yang 0001, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong	Precise, dynamic information flow for database-backed applications.	PLDI	2016	DBLP DOI BibTeX RDF
21	Shoaib Kamil 0001, Alvin Cheung, Shachar Itzhaky, Armando Solar-Lezama	Verified lifting of stencil computations.	PLDI	2016	DBLP DOI BibTeX RDF
21	Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama	Program synthesis from polymorphic refinement types.	PLDI	2016	DBLP DOI BibTeX RDF
21	Jeevana Priya Inala, Rohit Singh 0002, Armando Solar-Lezama	Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers.	SAT	2016	DBLP DOI BibTeX RDF
21	Javier-Alfonso Espinosa-Oviedo, Genoveva Vargas-Solar, Vassil Alexandrov 0001, Géraldine Castel	Comparing Electoral Campaigns by Analysing Online Data.	ICCS	2016	DBLP DOI BibTeX RDF
21	Kevin Ellis, Armando Solar-Lezama, Josh Tenenbaum 0001	Sampling for Bayesian Program Learning.	NIPS	2016	DBLP BibTeX RDF
21	Daniel A. S. Carvalho, Plácido A. Souza Neto, Chirine Ghedira Guegan, Nadia Bennani, Genoveva Vargas-Solar	Rhone: A Quality-Based Query Rewriting Algorithm for Data Integration.	ADBIS (Short Papers and Workshops)	2016	DBLP DOI BibTeX RDF
21	Rohit Singh 0002, Armando Solar-Lezama	SWAPPER: A framework for automatic generation of formula simplifiers based on conditional rewrite rules.	FMCAD	2016	DBLP DOI BibTeX RDF
21	Jinseong Jeon, Xiaokang Qiu, Jonathan Fetter-Degges, Jeffrey S. Foster, Armando Solar-Lezama	Synthesizing framework models for symbolic execution.	ICSE	2016	DBLP DOI BibTeX RDF
21	Rezaul Alam Chowdhury, Pramod Ganapathi, Jesmin Jahan Tithi, Charles Bachmeier, Bradley C. Kuszmaul, Charles E. Leiserson, Armando Solar-Lezama, Yuan Tang	AUTOGEN: automatic discovery of cache-oblivious parallel recursive algorithms for solving dynamic programs.	PPoPP	2016	DBLP DOI BibTeX RDF
21	Roberto Solar, Veronica Gil-Costa, Mauricio Marín	Evaluation of Static/Dynamic Cache for Similarity Search Engines.	SOFSEM	2016	DBLP DOI BibTeX RDF
21	Isao Parra-Tsunekawa, Javier Ruiz-del-Solar, Paul A. Vallejos	A Kalman-filtering-based Approach for Improving Terrain Mapping in off-road Autonomous Vehicles.	J. Intell. Robotic Syst.	2015	DBLP DOI BibTeX RDF
21	Javier Ruiz-del-Solar, Alfredo Weitzenfeld	Advanced Robotics.	J. Intell. Robotic Syst.	2015	DBLP DOI BibTeX RDF
21	Rodrigo Verschae, Javier Ruiz-del-Solar	Object Detection: Current and Future Directions.	Frontiers Robotics AI	2015	DBLP DOI BibTeX RDF
21	Xi Wang 0005, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama	A Differential Approach to Undefined Behavior Detection.	ACM Trans. Comput. Syst.	2015	DBLP DOI BibTeX RDF
21	Luca Iocchi, Dirk Holz, Javier Ruiz-del-Solar, Komei Sugiura, Tijn van der Zant	RoboCup@Home: Analysis and results of evolving competitions for domestic and service robots.	Artif. Intell.	2015	DBLP DOI BibTeX RDF
21	Jeevana Priya Inala, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama	Type Assisted Synthesis of Recursive Transformers on Algebraic Data Types.	CoRR	2015	DBLP BibTeX RDF
21	Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama	Results and Analysis of SyGuS-Comp'15.	SYNT	2015	DBLP DOI BibTeX RDF
21	Jean Yang 0001, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong	End-To-End Policy-Agnostic Security for Database-Backed Applications.	CoRR	2015	DBLP BibTeX RDF
21	Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama	JSKETCH: Sketching for Java.	CoRR	2015	DBLP BibTeX RDF
21	Nadia Polikarpova, Armando Solar-Lezama	Program Synthesis from Polymorphic Refinement Types.	CoRR	2015	DBLP BibTeX RDF
21	Javier Moya, Javier Ruiz-del-Solar, Marcos E. Orchard, Isao Parra-Tsunekawa	Fall Detection and Damage Reduction in Biped Humanoid Robots.	Int. J. Humanoid Robotics	2015	DBLP DOI BibTeX RDF
21	Andoni Beriain, Iñigo Gutierrez, Héctor Solar, Roc Berenguer	0.5 V and 0.43 pJ/bit Capacitive Sensor Interface for Passive Wireless Sensor Systems.	Sensors	2015	DBLP DOI BibTeX RDF
21	Rajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg 0001, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shambwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa	Syntax-Guided Synthesis.	Dependable Software Systems Engineering	2015	DBLP DOI BibTeX RDF
21	Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster	Adaptive Concretization for Parallel Program Synthesis.	CAV (2)	2015	DBLP DOI BibTeX RDF
21	Alonso Inostrosa-Psijas, Veronica Gil-Costa, Roberto Solar, Mauricio Marín	Load Balance Strategies for DEVS Approximated Parallel and Distributed Discrete-Event Simulations.	PDP	2015	DBLP DOI BibTeX RDF
21	Marija Trifunovic, Dino Solar Nikolic, Predrag Milicevic, Nikola Latinovic, Ivan Milojevic, Miroslav V. Peric	Laboratory environment for verification of protected multi-gigabit transmission systems.	AFRICON	2015	DBLP DOI BibTeX RDF
21	Carlos Celemin, Javier Ruiz-del-Solar	COACH: Learning continuous actions from COrrective Advice Communicated by Humans.	ICAR	2015	DBLP DOI BibTeX RDF
21	Gavin Kemp, Genoveva Vargas-Solar, Catarina Ferreira Da Silva, Parisa Ghodous, Christine Collet	Service Oriented Big Data Management for Transport.	SMARTGREENS/VEHITS (Selected Papers)	2015	DBLP DOI BibTeX RDF
21	Daniel A. S. Carvalho, Plácido A. Souza Neto, Genoveva Vargas-Solar, Nadia Bennani, Chirine Ghedira	Can Data Integration Quality Be Enhanced on Multi-cloud Using SLA?	DEXA (2)	2015	DBLP DOI BibTeX RDF
21	Sicun Gao, Le Xie 0001, Armando Solar-Lezama, Dimitrios N. Serpanos, Howard E. Shrobe	Automated vulnerability analysis of AC state estimation under constrained false data injection in electric power systems.	CDC	2015	DBLP DOI BibTeX RDF
21	Pablo Cano, Yoshiro Tsutsumi, Constanza Villegas, Javier Ruiz-del-Solar	Robust Detection of White Goals.	RoboCup	2015	DBLP DOI BibTeX RDF
21	David Leonardo Leottau, Javier Ruiz-del-Solar, Patrick MacAlpine, Peter Stone	A Study of Layered Learning Strategies Applied to Individual Behaviors in Robot Soccer.	RoboCup	2015	DBLP DOI BibTeX RDF
21	Matías Mattamala, Constanza Villegas, José Miguel Yáñez, Pablo Cano, Javier Ruiz-del-Solar	A Dynamic and Efficient Active Vision System for Humanoid Soccer Robots.	RoboCup	2015	DBLP DOI BibTeX RDF
21	María-Loreto Sánchez, Mauricio Correa, Luz María Martínez, Javier Ruiz-del-Solar	An Episodic Long-Term Memory for Robots: The Bender Case.	RoboCup	2015	DBLP DOI BibTeX RDF
21	Carlos Celemin, Javier Ruiz-del-Solar	Interactive Learning of Continuous Actions from Corrective Advice Communicated by Humans.	RoboCup	2015	DBLP DOI BibTeX RDF
21	Nadia Bennani, Chirine Ghedira Guegan, Genoveva Vargas-Solar, Martin A. Musicante	Towards a Secure Database Integration Using SLA in a Multi-cloud Context.	COMPSAC Workshops	2015	DBLP DOI BibTeX RDF
21	Roberto Solar, Veronica Gil-Costa, Mauricio Marín	Dynamic load balance for approximate parallel simulations with consistent hashing.	SummerSim	2015	DBLP BibTeX RDF
21	Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama	JSketch: sketching for Java.	ESEC/SIGSOFT FSE	2015	DBLP DOI BibTeX RDF
21	David Leonardo Leottau, Javier Ruiz-del-Solar	An Accelerated Approach to Decentralized Reinforcement Learning of the Ball-Dribbling Behavior.	AAAI Workshop: Knowledge, Skill, and Behavior Transfer in Autonomous Robots	2015	DBLP BibTeX RDF
21	Sven Wachsmuth, Dirk Holz, Maja Rudinac, Javier Ruiz-del-Solar	RoboCup@Home - Benchmarking Domestic Service Robots.	AAAI	2015	DBLP DOI BibTeX RDF
21	Mauricio Solar, Mauricio Araya-López, Luis Arevalo, Víctor Parada, Ricardo Contreras, Diego Mardones	Chilean virtual observatory.	CLEI	2015	DBLP DOI BibTeX RDF
21	Manuel Rubio del Solar, María Botón-Fernández	Energetic island design optimization. A case study using sweep parameter search and variable neighborhood search techniques.	ICIT	2015	DBLP DOI BibTeX RDF
21	Alvin Cheung, Shoaib Kamil 0001, Armando Solar-Lezama	Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis.	SNAPL	2015	DBLP DOI BibTeX RDF
21	Gavin Kemp, Genoveva Vargas-Solar, Catarina Ferreira Da Silva, Parisa Ghodous, Christine Collet	Aggregating and Managing Big Realtime Data in the Cloud - Application to Intelligent Transport for Smart Cities.	VEHITS	2015	DBLP DOI BibTeX RDF
21	Fernando Bernuy, Javier Ruiz-del-Solar	Semantic Mapping of Large-Scale Outdoor Scenes for Autonomous Off-Road Driving.	ICCV Workshops	2015	DBLP DOI BibTeX RDF
21	Kevin Ellis, Armando Solar-Lezama, Joshua B. Tenenbaum	Unsupervised Learning by Program Synthesis.	NIPS	2015	DBLP BibTeX RDF
21	Gavin Kemp, Genoveva Vargas-Solar, Catarina Ferreira Da Silva, Parisa Ghodous, Christine Collet, Pedropablo Lopez Amaya	Towards Cloud Big Data Services for Intelligent Transport Systems.	CE	2015	DBLP DOI BibTeX RDF
21	Patricio Loncomilla, Claudio Tapia, Omar Daud, Javier Ruiz-del-Solar	A Novel Methodology for Assessing the Fall Risk Using Low-Cost and Off-the-Shelf Devices.	IEEE Trans. Hum. Mach. Syst.	2014	DBLP DOI BibTeX RDF
21	Antonio Maccioni, Orlando Cassano, Yongming Luo, Juan Carlos Castrejón, Genoveva Vargas-Solar	NoXperanto: Crowdsourced Polyglot Persistence.	Polibits	2014	DBLP DOI BibTeX RDF
21	Genoveva Vargas-Solar, Valeria de Castro, Plácido A. Souza Neto, Javier-Alfonso Espinosa-Oviedo, Esperanza Marcos, Martin A. Musicante, José-Luis Zechinelli-Martini, Christine Collet	Reliable Web Services Composition: An MDD Approach.	Polibits	2014	DBLP DOI BibTeX RDF
21	Alvin Cheung, Samuel Madden 0001, Armando Solar-Lezama, Owen Arden, Andrew C. Myers	Using Program Analysis to Improve Database Applications.	IEEE Data Eng. Bull.	2014	DBLP BibTeX RDF
21	Luca Iocchi, Javier Ruiz-del-Solar, Tijn van der Zant	Advances in Domestic Service Robots in the Real World.	J. Intell. Robotic Syst.	2014	DBLP DOI BibTeX RDF
21	Tomaz Dogsa, Mitja Solar, Bojan Jarc	Precision Delay Circuit for Analog Quadrature Signals in Sin/Cos Encoders.	IEEE Trans. Instrum. Meas.	2014	DBLP DOI BibTeX RDF
21	Mauricio Solar, Fernando Daniels, Roberto López, Luis Meijueiro	A Model to Guide the Open Government Data Implementation in Public Agencies.	J. Univers. Comput. Sci.	2014	DBLP DOI BibTeX RDF
21	Albert Ali Salah, Pierre-Yves Oudeyer, Çetin Meriçli, Javier Ruiz-del-Solar	Guest Editorial Behavior Understanding and Developmental Robotics.	IEEE Trans. Auton. Ment. Dev.	2014	DBLP DOI BibTeX RDF
21	Bernd Finkbeiner, Armando Solar-Lezama (eds.)	Proceedings Second Workshop on Synthesis, SYNT 2013, Saint Petersburg, Russia, July 13th and July 14th, 2013.	SYNT	2014	DBLP DOI BibTeX RDF
21	Genoveva Vargas-Solar	Efficient, continuous and reliable Data Management by Coordinating Services. (Gestion de données efficace, continue et fiable par coordination de services).		2014	RDF
21	Krzysztof Krawiec, Armando Solar-Lezama	Improving Genetic Programming with Behavioral Consistency Measure.	PPSN	2014	DBLP DOI BibTeX RDF
21	Andoni Beriain, Héctor Solar, Roc Berenguer, Juan A. Montiel-Nelson, Javier Sosa, Rubén Pulido, Santiago García-Alonso	A very low power 7.9 bit MEMS pressure sensor suitable for batteryless RFID applications.	MWSCAS	2014	DBLP DOI BibTeX RDF
21	Carlos-Manuel López-Enríquez, Víctor Cuevas-Vicenttín, Genoveva Vargas-Solar, Christine Collet, José-Luis Zechinelli-Martini	A Planning-Based Service Composition Approach for Data-Centric Workflows.	ICSOC Workshops	2014	DBLP DOI BibTeX RDF
21	Nadia Bennani, Chirine Ghedira Guegan, Martin A. Musicante, Genoveva Vargas-Solar	SLA-Guided Data Integration on Cloud Environments.	IEEE CLOUD	2014	DBLP DOI BibTeX RDF
21	Swarat Chaudhuri, Martin Clochard, Armando Solar-Lezama	Bridging boolean and quantitative synthesis using smoothed proof search.	POPL	2014	DBLP DOI BibTeX RDF
21	Pablo Guerrero, Javier Ruiz-del-Solar	Circular Regression Based on Gaussian Processes.	ICPR	2014	DBLP DOI BibTeX RDF
21	Katja Malvoni, Solar Designer, Josip Knezovic	Are Your Passwords Safe: Energy-Efficient Bcrypt Cracking with Low-Cost Parallel Hardware.	WOOT	2014	DBLP BibTeX RDF
21	Alvin Cheung, Samuel Madden 0001, Armando Solar-Lezama	Sloth: being lazy is a virtue (when issuing database queries).	SIGMOD Conference	2014	DBLP DOI BibTeX RDF
21	Dirk Holz, Javier Ruiz-del-Solar, Komei Sugiura, Sven Wachsmuth	On RoboCup@Home - Past, Present and Future of a Scientific Competition for Service Robots.	RoboCup	2014	DBLP DOI BibTeX RDF
21	Luz María Martínez, Patricio Loncomilla, Javier Ruiz-del-Solar	Object Recognition for Manipulation Tasks in Real Domestic Settings: A Comparative Study.	RoboCup	2014	DBLP DOI BibTeX RDF
21	Leonardo Leottau, Carlos Celemin, Javier Ruiz-del-Solar	Ball Dribbling for Humanoid Biped Robots: A Reinforcement Learning and Fuzzy Control Approach.	RoboCup	2014	DBLP DOI BibTeX RDF
21	Veronica Gil-Costa, Jair Lobos, Roberto Solar, Mauricio Marín	AMEDS-tool: an automatic tool to model and simulate large scale systems.	SummerSim	2014	DBLP BibTeX RDF
21	Zhilei Xu, Shoaib Kamil 0001, Armando Solar-Lezama	MSL: A Synthesis Enabled Language for Distributed Implementations.	SC	2014	DBLP DOI BibTeX RDF
21	Rohit Singh 0002, Rishabh Singh, Zhilei Xu, Rebecca Krosnick, Armando Solar-Lezama	Modular Synthesis of Sketches Using Models.	VMCAI	2014	DBLP DOI BibTeX RDF
21	Valeria de Castro, Martin A. Musicante, Umberto Souza da Costa, Plácido A. Souza Neto, Genoveva Vargas-Solar	Supporting Non-functional Requirements in Services Software Development Process: An MDD Approach.	SOFSEM	2014	DBLP DOI BibTeX RDF
21	José Delpiano, Luis Pizarro, Rodrigo Verschae, Javier Ruiz-del-Solar	Multi-objective Optimization for Characterization of Optical Flow Methods.	VISAPP (2)	2014	DBLP DOI BibTeX RDF
21	Mauricio Solar, Jorge Sabattin, Víctor Parada	A Maturity Model for Assessing the Use of ICT in School Education.	J. Educ. Technol. Soc.	2013	DBLP BibTeX RDF
21	Armando Solar-Lezama	Program sketching.	Int. J. Softw. Tools Technol. Transf.	2013	DBLP DOI BibTeX RDF
21	Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin C. Rinard	(Un)Decidability Results for Word Equations with Length and Regular Expression Constraints.	CoRR	2013	DBLP BibTeX RDF
21	Christine Collet, Bernd Amann, Nicole Bidoit, Mohand Boughanem, Mokrane Bouzeghoub, Anne Doucet, David Gross-Amblard, Jean-Marc Petit, Mohand-Said Hacid, Genoveva Vargas-Solar	De la gestion de bases de données à la gestion de grands espaces de données.	Ingénierie des Systèmes d Inf.	2013	DBLP DOI BibTeX RDF
21	Genoveva Vargas-Solar, Catarina Ferreira da Silva, Parisa Ghodous, José-Luis Zechinelli-Martini	Moving Energy Consumption Control into the Cloud by Coordinating Services.	Int. J. Comput. Their Appl.	2013	DBLP BibTeX RDF
21	Javier Ruiz-del-Solar, Rodrigo Verschae, Gabriel Hermosilla, Mauricio Correa	Thermal Face Recognition in Unconstrained Environments Using Histograms of LBP Features.	Local Binary Patterns	2013	DBLP DOI BibTeX RDF
21	Javier Ruiz-del-Solar, Patricio Loncomilla, Marcelo Saavedra	A Bayesian framework for informed search using convolutions between observation likelihoods and spatial relation masks.	ICAR	2013	DBLP DOI BibTeX RDF
21	Mauricio Solar, Luis Meijueiro, Fernando Daniels	A Guide to Implement Open Data in Public Agencies.	EGOV	2013	DBLP DOI BibTeX RDF
21	Wilma Pairo, Javier Ruiz-del-Solar, Rodrigo Verschae, Mauricio Correa, Patricio Loncomilla	Person Following by Mobile Robots: Analysis of Visual and Range Tracking Methods and Technologies.	RoboCup	2013	DBLP DOI BibTeX RDF
21	Patricio Loncomilla, Marcelo Saavedra, Javier Ruiz-del-Solar	Semantic Object Search Using Semantic Categories and Spatial Relations between Objects.	RoboCup	2013	DBLP DOI BibTeX RDF
21	Leonardo Leottau Forero, José Miguel Yáñez, Javier Ruiz-del-Solar	Integration of the ROS Framework in Soccer Robotics: The NAO Case.	RoboCup	2013	DBLP DOI BibTeX RDF
21	Mauricio Marín, Veronica Gil-Costa, Carolina Bonacic, Roberto Solar	Approximate parallel simulation of web search engines.	SIGSIM-PADS	2013	DBLP DOI BibTeX RDF
21	Alvin Cheung, Owen Arden, Samuel Madden 0001, Armando Solar-Lezama, Andrew C. Myers	StatusQuo: Making Familiar Abstractions Perform Using Program Analysis.	CIDR	2013	DBLP BibTeX RDF
21	Alvin Cheung, Armando Solar-Lezama, Samuel Madden 0001	Optimizing database-backed applications with query synthesis.	PLDI	2013	DBLP DOI BibTeX RDF
21	Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama	Automated feedback generation for introductory programming assignments.	PLDI	2013	DBLP DOI BibTeX RDF
21	Thomas H. Austin, Jean Yang 0001, Cormac Flanagan, Armando Solar-Lezama	Faceted execution of policy-agnostic programs.	PLAS	2013	DBLP DOI BibTeX RDF