Search results for "ASP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
33	Isabel E. Asp, Viola S. Störmer, Timothy F. Brady	Greater Visual Working Memory Capacity for Visually Matched Stimuli When They Are Perceived as Meaningful.	J. Cogn. Neurosci.	2021	DBLP DOI BibTeX RDF
33	Jali Asp, Toni Taipalus, Ville Seppänen	Challenges in Geographically Distributed Information System Development: A Case Study.	COMPSAC	2021	DBLP DOI BibTeX RDF
33	Alexander Asp Bock, Florian Biermann	Puncalc: task-based parallelism and speculative reevaluation in spreadsheets.	J. Supercomput.	2020	DBLP DOI BibTeX RDF
33	Alexander Asp Bock, Thomas Bøgholm, Peter Sestoft, Bent Thomsen, Lone Leth Thomsen	On the semantics for spreadsheets with sheet-defined functions.	J. Comput. Lang.	2020	DBLP DOI BibTeX RDF
33	Ari Asp, Arto Hujanen, Ismo Huhtinen, Jussa Pikkuvirta, Mikko Valkama	Effect of Plastering Mesh on Radio Signals: Modelling and Practical Measurements.	EuCNC	2020	DBLP DOI BibTeX RDF
33	Alain de Cheveigné, Giovanni M. Di Liberto, Dorothée Arzounian, Daniel D. E. Wong, Jens Hjortkjær, Søren Asp Fuglsang, Lucas C. Parra	Multiway canonical correlation analysis of brain data.	NeuroImage	2019	DBLP DOI BibTeX RDF
33	Alexander Asp Bock	Static Partitioning of Spreadsheets for Parallel Execution.	PADL	2019	DBLP DOI BibTeX RDF
33	Ari Asp, Tuomo Hentilä, Mikko Valkama, Jussa Pikkuvirta, Arto Hujanen, Ismo Huhtinen	Impact of Concrete Moisture on Radio Propagation: Fundamentals and Measurements of Concrete Samples.	ISWCS	2019	DBLP DOI BibTeX RDF
33	Søren Asp Fuglsang, Torsten Dau, Jens Hjortkjær	Noise-robust cortical tracking of attended speech in real-world acoustic scenes.	NeuroImage	2017	DBLP DOI BibTeX RDF
33	Christopher J. Kimble, Joshua B. Boesche, Diane R. Eaker, Kenneth R. Kressin, Malcolm B. McIntosh, Jose-Luis Poza-Luján, James K. Trevathan, Seungleal Paek, Anders J. Asp	Multifunctional system for observing, measuring and analyzing stimulation-evoked neurochemical signaling.	MeMeA	2017	DBLP DOI BibTeX RDF
33	Oleksiy Mazhelis, Antti Hämäläinen, Tomi Asp, Pasi Tyrväinen	Towards enabling privacy preserving smart city apps.	ISC2	2016	DBLP DOI BibTeX RDF
33	Pedro Milet Meirelles, Luiz M. R. Gadelha Jr., Ronaldo Bastos Francini-Filho, Rodrigo Leão de Moura, Gilberto Menezes Amado-Filho, Alex Cardoso Bastos, Rodolfo Pinheiro da Rocha Paranhos, Carlos Eduardo Rezende, Jean Swings, Eduardo Siegle, Nils Edvin Asp Neto, Sigrid Neumann Leitão, Ricardo Coutinho, Marta Mattoso, Paulo S. Salomon, Rogério A. B. Valle, Renato Crespo Pereira, Ricardo Henrique Kruger, Cristiane Thompson, Fabiano L. Thompson	BaMBa: towards the integrated management of Brazilian marine environmental data.	Database J. Biol. Databases Curation	2015	DBLP DOI BibTeX RDF
33	Patrik Eliardsson, Erik Axell, Peter F. Stenumgaard, Kia Wiklundh, Bjorn Johansson, Börje Asp	Military HF communications considering unintentional platform-generated electromagnetic interference.	ICMCIS	2015	DBLP DOI BibTeX RDF
33	Ari Asp, Yaroslav Sydorov, Mikko Keskikastari, Mikko Valkama, Jarno Niemelä	Impact of Modern Construction Materials on Radio Signal Propagation: Practical Measurements and Network Planning Aspects.	VTC Spring	2014	DBLP DOI BibTeX RDF
33	Syed Fahad Yunas, Ari Asp, Jarno Niemelä, Mikko Valkama	Deployment strategies and performance analysis of Macrocell and Femtocell networks in suburban environment with modern buildings.	LCN Workshops	2014	DBLP DOI BibTeX RDF
33	Calvin Thomas, Vlado Keselj, Nick Cercone, Kenneth Rockwood, Elissa Asp	Detecting and Rating Dementia of Alzheimer Type through Lexical Analysis of Spontaneous Speech.	Computational Approaches to Assistive Technologies for People with Disabilities	2013	DBLP DOI BibTeX RDF
33	Miika Kankare, Ari Asp, Yaroslav Sydorov, Jarno Niemelä, Mikko Valkama	Large-Scale Femtocell Network Deployment and Measurements.	MACOM	2013	DBLP DOI BibTeX RDF
33	Randi Karlsen, Børge Jakobsen, Roger Bruun Asp Hansen	Uncover What You See in Your Images: The InfoAlbum approach.	Int. J. Comput. Sci. Appl.	2012	DBLP BibTeX RDF
33	Ari Asp, Yaroslav Sydorov, Mikko Valkama, Jarno Niemelä	Radio signal propagation and attenuation measurements for modern residential buildings.	GLOBECOM Workshops	2012	DBLP DOI BibTeX RDF
33	Dag Johansen, Magnus Stenhaug, Roger Bruun Asp Hansen, Agnar Christensen, Per-Mathias Hogmo	Muithu: Smaller footprint, potentially larger imprint.	ICDIM	2012	DBLP DOI BibTeX RDF
33	Michael Boldt, Christopher Asp	Recognition of Short Handwritten Texts.	Reading and Learning	2004	DBLP DOI BibTeX RDF
33	Lone Asp, Jan Petersen	A Conceptual Model for Documentation of Clinical Information in the EHR.	MIE	2003	DBLP DOI BibTeX RDF
33	Alois Schütte, Frank Opfer, Christopher Asp	Automatische Prozeßkonfiguration in Occam2 / Automatical Process-Configuration in Occam2.	it Inf. Technol.	1988	DBLP DOI BibTeX RDF
31	James Skene, Allan Skene, Jason Crampton, Wolfgang Emmerich	The monitorability of service-level agreements for application-service provision.	WOSP	2007	DBLP DOI BibTeX RDF	SLA, ASP
31	Bert Valenzuela	The insider: the web site that brought Mesa's williams campus together.	SIGUCCS	2003	DBLP DOI BibTeX RDF	Arizona State University, IIS, Williams Campus, active desktop, insider, collaboration, database, web, participation, intranet, channel, ASP, newspaper
31	Yoshitoshi Murata, Katsuhisa Sugiura, Susumu Ishihara, Fumiaki Sato, Tadanori Mizuno	The Multi-Sharing Mobile Remote Monitoring System - The Four Layer Object Management Model and Practical System.	AINA	2003	DBLP DOI BibTeX RDF	wireless packet system, data logger wireless packet system, ASP, remote monitoring
31	Allen B. Downey	A Parallel Workload Model and its Implications for Processor Allocation.	HPDC	1997	DBLP DOI BibTeX RDF	parallel workload model, space-sharing parallel computers, Adaptive Static Partitioning, parallel computers, processor scheduling, processor allocation, ASP
31	Martin Gebser, Max Ostrowski, Torsten Schaub	Constraint Answer Set Solving.	ICLP	2009	DBLP DOI BibTeX RDF
31	Enrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske, Torsten Schaub, Lars Schneidenbach, Bettina Schnor	A Simple Distributed Conflict-Driven Answer Set Solver.	LPNMR	2009	DBLP DOI BibTeX RDF
31	Wolfgang Faber 0001, Stefan Woltran	Manifold Answer-Set Programs for Meta-reasoning.	LPNMR	2009	DBLP DOI BibTeX RDF
31	Luke Hopton, Owen Cliffe, Marina De Vos, Julian A. Padget	AQL: A Query Language for Action Domains Modelled Using Answer Set Programming.	LPNMR	2009	DBLP DOI BibTeX RDF
31	Stefania Costantini	Integrating Answer Set Modules into Agent Programs.	LPNMR	2009	DBLP DOI BibTeX RDF
31	Claire Lefèvre, Pascal Nicolas	A First Order Forward Chaining Approach for Answer Set Computing.	LPNMR	2009	DBLP DOI BibTeX RDF
31	Huaqing Min, Jiaan Zeng, Ronghua Luo	Fuzzy CMAC with automatic state partition for reinforcementlearning.	GEC Summit	2009	DBLP DOI BibTeX RDF	automatic state partition, fuzzy CMAC, reinforcement learning
31	Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang 0002	Integrating answer set programming and constraint logic programming.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 68T35, 68T30, 68T20, 03B70
31	Marc Denecker, Joost Vennekens	Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic.	ICLP	2008	DBLP DOI BibTeX RDF
31	Wolfgang Faber 0001, Nicola Leone	On the Complexity of Answer Set Programming with Aggregates.	LPNMR	2007	DBLP DOI BibTeX RDF
31	Martin Brain, Tom Crick, Marina De Vos, John P. Fitch	TOAST: Applying Answer Set Programming to Superoptimisation.	ICLP	2006	DBLP DOI BibTeX RDF
31	Christopher B. Mayer, Judson C. Dressler, Felicia Harlow, Gregory J. Brault, K. Selçuk Candan	Replicating Multi-quality Web Applications Using ACO and Bipartite Graphs.	ANTS Workshop	2006	DBLP DOI BibTeX RDF
31	Thomas Eiter, Patrick Traxler, Stefan Woltran	An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs.	JELIA	2006	DBLP DOI BibTeX RDF
31	Dorothy E. Leidner, Wynne W. Chin	From the editors.	Data Base	2005	DBLP DOI BibTeX RDF
31	Bruno Del-Fabbro, David Laiymani, Jean-Marc Nicod, Laurent Philippe 0001	Data Management in Grid Applications Providers.	DFMA	2005	DBLP DOI BibTeX RDF
31	Francesco Calimeri, Giovambattista Ianni	External Sources of Computation for Answer Set Solvers.	LPNMR	2005	DBLP DOI BibTeX RDF
31	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir	Synthesis from Temporal Specifications Using Preferred Answer Set Programming.	ICTCS	2005	DBLP DOI BibTeX RDF
31	Yi-Hau Chen, Ching-Yeh Chen, Liang-Gee Chen	Architecture of global motion compensation for MPEG-4 advanced simple profile.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
31	Andreas Pashalidis, Chris J. Mitchell	Using EMV Cards for Single Sign-On.	EuroPKI	2004	DBLP DOI BibTeX RDF	authentication, single sign-on, EMV
31	Yuan Miao 0001, Bing Li, Robert K. L. Gay	An agent based application service providing model.	ICARCV	2004	DBLP DOI BibTeX RDF
31	Paul Borchert, Christian Anger, Torsten Schaub, Miroslaw Truszczynski	Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative.	LPNMR	2004	DBLP DOI BibTeX RDF
31	Tomi Janhunen, Emilia Oikarinen	LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs.	LPNMR	2004	DBLP DOI BibTeX RDF
31	Jang-Ping Sheu, Chih-Min Chao, Ching-Wen Sun	A Clock Synchronization Algorithm for Multi-Hop Wireless Ad Hoc Networks.	ICDCS	2004	DBLP DOI BibTeX RDF	multi-hop wireless ad hoc networks, IEEE 802.11, Clock synchronization
31	Bhavini Desai, Wendy L. Currie	Application service providers: a model in evolution.	ICEC	2003	DBLP DOI BibTeX RDF	business model, barriers, application service providers
31	Andreas Pashalidis, Chris J. Mitchell	Single Sign-On Using Trusted Platforms.	ISC	2003	DBLP DOI BibTeX RDF	TCPA, authentication, single sign-on
31	Shao-Yi Chien, Ching-Yeh Chen, Wei-Min Chao, Yu-Wen Huang, Liang-Gee Chen	Analysis and hardware architecture for global motion estimation in MPEG-4 Advanced Simple Profile.	ISCAS (2)	2003	DBLP DOI BibTeX RDF
31	Tanja Falkowski, Stefan Voß 0001	Application Service Providing as Part of Intelligent Decision Support for Supply Chain Management.	HICSS	2003	DBLP DOI BibTeX RDF
31	Babak Akhgar, Jawed I. A. Siddiqi, Mehrdad Naderi	Strategie Tool for Assessment of the Supply and Demand Relationship between ASPs and SMEs for Competitive Advantage.	EurAsia-ICT	2002	DBLP DOI BibTeX RDF	IS Strategy, Strategic Assessment Tool, Application Service Provider
31	Chung-Yee Lee, Lei Lei	Multiple-Project Scheduling with Controllable Project Duration and Hard Resource Constraint: Some Solvable Cases.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	controllable duration, resource constraints, project scheduling
31	Lixin Tao	Shifting Paradigms with the Application Service Provider Model.	Computer	2001	DBLP DOI BibTeX RDF
31	Enrico Pontelli, Omar El-Khatib	Construction and Optimization of a Parallel Engine for Answer Set Programming.	PADL	2001	DBLP DOI BibTeX RDF
31	Su-Hui Chiang, Rajesh K. Mansharamani, Mary K. Vernon	Use of Application Characteristics and Limited Preemption for Run-to-Completion Parallel Processor Scheduling Policies.	SIGMETRICS	1994	DBLP DOI BibTeX RDF
31	R. M. Lea	WASP: A WSI Associative String Processor.	J. VLSI Signal Process.	1991	DBLP DOI BibTeX RDF
30	Liang Jin, Gandi Xie, CaiXing Lin	Engineering Testing Process Management System Based On .Net Framework.	PROLAMAT	2006	DBLP DOI BibTeX RDF	Engineering Test Process Management, .NET architecture, ASP.NET
30	T. Katsimpa, Yannis Panagis, Evangelos Sakkopoulos, Giannis Tzimas, Athanasios K. Tsakalidis	Application modeling using reverse engineering techniques.	SAC	2006	DBLP DOI BibTeX RDF	reverse engineering, web applications, WebML, ASP.NET
30	Lorenzo Verdoscia	CODACS Project: A Development Tool for Embedded System Prototyping.	ICESS	2004	DBLP DOI BibTeX RDF	Application Specific Processor (ASP), FPGA, embedded system, functional programming, dataflow computing
30	Mario Alviano, Davide Cirimele, Luis Angel Rodriguez Reiners	Introducing ASP recipes and ASP Chef.	ICLP Workshops	2023	DBLP BibTeX RDF
30	Markus Hecher	Treewidth-aware reductions of normal ASP to SAT - Is normal ASP harder than SAT after all?	Artif. Intell.	2022	DBLP DOI BibTeX RDF
30	Markus Hecher	Treewidth-aware Reductions of Normal ASP to SAT - Is Normal ASP Harder than SAT after All?	CoRR	2022	DBLP DOI BibTeX RDF
30	Clara Delahaye	Haplotype phasing from long reads with ASP: a flexible optimization approach. (Phasage d'haplotypes par ASP à partir de longues lectures : une approche d'optimisation flexible).		2022	RDF
30	Markus Hecher	Treewidth-aware Reductions of Normal ASP to SAT - Is Normal ASP Harder than SAT after All?	KR	2020	DBLP DOI BibTeX RDF
30	Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath	Inconsistency Proofs for ASP: The ASP-DRUPE Format.	CoRR	2019	DBLP BibTeX RDF
30	Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath	Inconsistency Proofs for ASP: The ASP - DRUPE Format.	Theory Pract. Log. Program.	2019	DBLP DOI BibTeX RDF
30	Thu-Le Pham, Muhammad Intizar Ali, Alessandra Mileo	C-ASP: Continuous ASP-Based Reasoning over RDF Streams.	LPNMR	2019	DBLP DOI BibTeX RDF
30	Christopher Béatrix	Justifications dans les approches ASP basées sur les règles : application au backjumping dans le solveur ASPeRiX. (Justifications in rule-based ASP computations : application to backjumping in the ASPeRiX solver).		2016	RDF
30	Fabien Garreau	Extension d'ASP pour couvrir des fragments DL traitables : étude théorique et implémentation. (Extension of ASP to cover treatable DL fragments : theorical study and implementation).		2016	RDF
30	Mushthofa Mushthofa, Gustavo Torres, Yves Van de Peer, Kathleen Marchal, Martine De Cock	ASP-G: an ASP-based method for finding attractors in genetic regulatory networks.	Bioinform.	2014	DBLP DOI BibTeX RDF
30	Marco Maratea, Luca Pulina, Francesco Ricca	The Multi-engine ASP Solver ME-ASP: Progress Report.	CoRR	2014	DBLP BibTeX RDF
30	Flavio Vella, Alessandro Dal Palù, Agostino Dovier, Andrea Formisano 0001, Enrico Pontelli	CUD@ASP: Experimenting with GPGPUs in ASP solving.	CILC	2013	DBLP BibTeX RDF
30	Jess Chadwick, Todd Snyder, Hrusikesh Panda	Programming ASP.NET MVC 4 - Dveloping Real-world Web Applications with ASP.NET MVC.		2012	RDF
30	Tiep Le, Hieu Nguyen, Enrico Pontelli, Tran Cao Son	ASP at Work: An ASP Implementation of PhyloWS.	ICLP (Technical Communications)	2012	DBLP DOI BibTeX RDF
30	Marco Maratea, Luca Pulina, Francesco Ricca	The Multi-Engine ASP Solver me-asp.	JELIA	2012	DBLP DOI BibTeX RDF
30	Jesse Liberty, Dan Hurwitz, Dan Maharry	Programming ASP.NET 3.5 - building web applications: updated for ASP.NET 3.5 and Visual Studio 2008 (4. ed.).		2009	RDF
30	Jesse Liberty, Dan Hurwitz, Brian MacDonald	Learning ASP.NET 3.5 - build web applications with ASP.NET 3.5, AJAX, LINQ, and more: new for Visual Studio 2008 (2. ed.).		2008	RDF
30	Omar A. L. Zabir	Building a web 2.0 portal with ASP.NET 3.5 - learn how to build a state-of-the-art Ajax web site using: ASP.NET, .NET 3.5, LINQ, Windows WF, and more.		2008	RDF
30	Jesse Liberty, Dan Hurwitz, Brian MacDonald	Learning ASP.NET 2.0 with Ajax - building web sites with ASP.NET and Ajax.		2007	RDF
30	Christian Wenz	Programming ASP.NET Ajax - build rich, web 2.0-style UIs with ASP.NET Ajax: covers core, control toolkit, futures CTP, and more.		2007	RDF
30	Jesse Liberty, Dan Hurwitz	Programming ASP.NET - building web applications and services: updated for ASP.NET 2.0, C# 2.0, and Visual Studio 2005 (3. ed.).		2005	RDF
30	Giovambattista Ianni, Claudio Panetta, Francesco Ricca	Specification of Assessment-test Criteria through ASP Specifications.	Answer Set Programming	2005	DBLP BibTeX RDF
30	Massimo Ruffolo, Nicola Leone, Marco Manna, Domenico Saccà, Amedeo Zavatto	Exploiting ASP for Semantic Information Extraction.	Answer Set Programming	2005	DBLP BibTeX RDF
30	Mauricio Osorio 0001, Claudia Zepeda	Towards the use of Semantics Contents in ASP for planning and diagnistic in GIS.	Answer Set Programming	2003	DBLP BibTeX RDF
30	Deborah East, Miroslaw Truszczynski	More on Wire Routing with ASP.	Answer Set Programming	2001	DBLP BibTeX RDF
30	Shelley Powers	Developing ASP components - extending ASP with Visual Basic, Visual C++, and Visual J++.		1999	RDF
25		27th Asia and South Pacific Design Automation Conference, ASP-DAC 2022, Taipei, Taiwan, January 17-20, 2022	ASP-DAC	2022	DBLP DOI BibTeX RDF
25	Kangyi Qiu, Yaojun Zhang, Bonan Yan, Ru Huang	Heterogeneous Memory Architecture Accommodating Processing-in-Memory on SoC for AIoT Applications.	ASP-DAC	2022	DBLP DOI BibTeX RDF
25	Sören Tempel, Vladimir Herdt, Rolf Drechsler	Automated Detection of Spatial Memory Safety Violations for Constrained Devices.	ASP-DAC	2022	DBLP DOI BibTeX RDF
25	Negar Neda, Salim Ullah, Azam Ghanbari, Hoda Mahdiani, Mehdi Modarressi, Akash Kumar 0001	Multi-Precision Deep Neural Network Acceleration on FPGAs.	ASP-DAC	2022	DBLP DOI BibTeX RDF
25	Chung-Kuan Cheng, Chia-Tung Ho, Chester Holtz	Net Separation-Oriented Printed Circuit Board Placement via Margin Maximization.	ASP-DAC	2022	DBLP DOI BibTeX RDF
25	Lucas Klemmer, Daniel Große	WAL: A Novel Waveform Analysis Language for Advanced Design Understanding and Debugging.	ASP-DAC	2022	DBLP DOI BibTeX RDF
25	Kuan-Yu Chen, Hsiu-Chu Hsu, Wai-Kei Mak, Ting-Chi Wang	HybridGP: Global Placement for Hybrid-Row-Height Designs.	ASP-DAC	2022	DBLP DOI BibTeX RDF
25	Heinz Riener, Siang-Yun Lee, Alan Mishchenko, Giovanni De Micheli	Boolean Rewriting Strikes Back: Reconvergence-Driven Windowing Meets Resynthesis.	ASP-DAC	2022	DBLP DOI BibTeX RDF
25	Miaodi Su, Hongzhi Ding, Shaohong Weng, Changzhong Zou, Zhonghua Zhou, Yilu Chen, Jianli Chen, Yao-Wen Chang	High-Correlation 3D Routability Estimation for Congestion-guided Global Routing.	ASP-DAC	2022	DBLP DOI BibTeX RDF
25	Jiayuan He 0003, Udit Agarwal, Yihang Yang, Rajit Manohar, Keshav Pingali	SPRoute 2.0: A detailed-routability-driven deterministic parallel global router with soft capacity.	ASP-DAC	2022	DBLP DOI BibTeX RDF