Search results for "ASP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
127	Matti Järvisalo, Emilia Oikarinen	Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs.	ICLP	2007	DBLP DOI BibTeX RDF
107	Emilia Oikarinen, Matti Järvisalo	Max-ASP: Maximum Satisfiability of Answer Set Programs.	LPNMR	2009	DBLP DOI BibTeX RDF
97	Zalech Zalech	Essential ASP.NET2.	IEEE Distributed Syst. Online	2004	DBLP DOI BibTeX RDF	Essential ASP.NET with Examples in C#, Essential ASP.NET with Examples in Visual Basic .NET, C#, ASP, Visual Basic, .NET
77	Philip Seltsikas, Wendy L. Currie	Evaluating the Application Service Provider (ASP) Business Model: The Challenge of Integration.	HICSS	2002	DBLP DOI BibTeX RDF	Application Service Provision, e-Business, Outsourcing, Software-as-a-Service, ASP, Information Systems Integration
77	Bandula Jayatilaka, Andrew Schwarz, Rudy Hirschheim	Determinants of ASP Choice: An Integrated Perspective.	HICSS	2002	DBLP DOI BibTeX RDF	Boundary choice, Outsourcing, ASP
76	Roland Klueber	ASP Strategic and Solutions for eProcurement Processes Offered by an eMarket .	HICSS	2002	DBLP DOI BibTeX RDF
76	R. M. Lea	ASP modules: cost-effective building-blocks for real-time DSP systems.	J. VLSI Signal Process.	1989	DBLP DOI BibTeX RDF
71	Markus Püschel, José M. F. Moura	Algebraic Signal Processing Theory: Foundation and 1-D Time.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
71	Emilia Oikarinen	Modular Answer Set Programming.	ICLP	2007	DBLP DOI BibTeX RDF
71	Bhavini Desai, Vishanth Weerakkody, Wendy L. Currie, D. E. Sofiane Tebboune, Naureen Khan	Market Entry Strategies of Application Service Providers: Identifying Strategic Differentiation.	HICSS	2003	DBLP DOI BibTeX RDF
71	Chris Bennett, Greg Timbrell	Application Service Providers: Will They Succeed?	Inf. Syst. Frontiers	2000	DBLP DOI BibTeX RDF	outsourcing, enterprise resource planning, application service provider
71	Christoph Bussler	Software as a service: ASP and ASP aggregation.	SIGMOD Conference	2002	DBLP DOI BibTeX RDF
66	Torsten Schaub	Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode.	LPNMR	2009	DBLP DOI BibTeX RDF
66	James P. Delgrande	What Next for ASP? (A Not-Entirely-Well-Informed Opinion).	LPNMR	2009	DBLP DOI BibTeX RDF
66	Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone	Computable Functions in ASP: Theory and Implementation.	ICLP	2008	DBLP DOI BibTeX RDF
66	Nozar Daylami, Terry Ryan, Lorne Olfman, Conrad Shayo	Determinants of Application Service Provider (ASP) Adoption as an Innovation.	HICSS	2005	DBLP DOI BibTeX RDF
66	Takahiro Kawamura, Tetsuo Hasegawa, Akihiko Ohsuga, Shinichi Honiden	Rental Application to Rental Service Development of Advanced ASP Framework.	EDOC	2000	DBLP DOI BibTeX RDF	rental application, rental service development, advanced ASP framework, systems analysis, Application Service Provider
61	Martin Gebser, Torsten Schaub	Tableau Calculi for Answer Set Programming.	ICLP	2006	DBLP DOI BibTeX RDF
61	Hsing Kenneth Cheng, Haluk Demirkan, Gary J. Koehler	Price and capacity competition of application services duopoly.	Inf. Syst. E Bus. Manag.	2003	DBLP DOI BibTeX RDF	Duopoly, Electronic commerce, Pricing, Application service provider
61	Wendong Huang, Ye Wang 0007	A joint encoder-decoder framework for supporting energy efficient audio decoding.	Multim. Syst.	2009	DBLP DOI BibTeX RDF	Workload reduction, Joint encoder-decoder framework (JEDF), Joint ASP and quantization noise shaping, SOPOT, Energy efficiency
61	Jürgen Dix, Ugur Kuter, Dana S. Nau	Planning in Answer Set Programming Using Ordered Task Decomposition.	KI	2003	DBLP DOI BibTeX RDF	HTN planning, ASP systems, benchmarks, nonmonotonic reasoning
61	Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran	Debugging ASP Programs by Means of ASP.	LPNMR	2007	DBLP DOI BibTeX RDF
57	P. R. Balasubramanian, George M. Wyner, Nitin R. Joglekar	The Role of Coordination and Architecture in Supporting ASP Business Models.	HICSS	2002	DBLP DOI BibTeX RDF	Architecture, Knowledge management, Business processes, Organizational design, ASP, Coordination theory
56	Simona Perri, Francesco Ricca, Marco Sirianni	A parallel ASP instantiator based on DLV.	DAMP	2010	DBLP DOI BibTeX RDF	parallelism, answer set programming, grounding, instantiation
56	Agostino Dovier, Enrico Pontelli	Present and Future Challenges for ASP Systems.	LPNMR	2009	DBLP DOI BibTeX RDF
56	Konstantin Beznosov	Experience Report: Design and Implementation of a Component-Based Protection Architecture for ASP.NET Web Services.	CBSE	2005	DBLP DOI BibTeX RDF
56	Jie Wu 0006, Dong Wang, Huanye Sheng	Public RFID Service Platform Based on ASP Model.	ICEBE	2005	DBLP DOI BibTeX RDF
56	P. Bacquet, Olivier Brun, Jean-Marie Garcia, Thierry Monteil 0001, Patricia Pascal, Samuel Richard	Telecommunication Network Modeling and Planning Tool on ASP Clusters.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
56	Masahiro Nakata, Katsuyuki Yasuda	Quality Assurance Activities for ASP Based on SLM in Hitachi.	ECSQ	2002	DBLP DOI BibTeX RDF
56	Nicola Leone, Simona Perri, Francesco Scarcello	Improving ASP Instantiators by Join-Ordering Methods.	LPNMR	2001	DBLP DOI BibTeX RDF
56	C. A. Lang, J. C. Gray	Programming Techniques: ASP - a ring implemented associative structure package.	Commun. ACM	1968	DBLP DOI BibTeX RDF	ring structure lists, modeling, data structure, languages, graphics, associative, set, list structure
51	Ilkka Niemelä	Integrating Answer Set Programming and Satisfiability Modulo Theories.	LPNMR	2009	DBLP DOI BibTeX RDF
51	Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran	spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics.	INAP/WLP	2007	DBLP DOI BibTeX RDF
51	Ilkka Niemelä	Answer Set Programming: A Declarative Approach to Solving Search Problems.	JELIA	2006	DBLP DOI BibTeX RDF
51	Emanuele Lindo Secco, Luca Valandro, Roberto Caimmi, Giovanni Magenes, Benedetto Salvato	Optimization of two-joint arm movements: a model technique or a result of natural selection?	Biol. Cybern.	2005	DBLP DOI BibTeX RDF
51	Enrico Giunchiglia, Marco Maratea	Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming.	AI*IA	2005	DBLP DOI BibTeX RDF
51	Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer	Optimizing the Computation of Heuristics for Answer Set Programming Systems.	LPNMR	2001	DBLP DOI BibTeX RDF
46	Viren Kumar, James P. Delgrande	Optimal Multicore Scheduling: An Application of ASP Techniques.	LPNMR	2009	DBLP DOI BibTeX RDF	clingo, edge cover, scheduling, multicore, ASP
46	Bo Li 0005, Sheng Ge, Tianyu Wo, Dian-fu Ma	Research and Implementation of Single Sign-On Mechanism for ASP Pattern.	GCC	2004	DBLP DOI BibTeX RDF	Single Sign-on, SAML, LDAP, ASP
46	Matthew F. Parkinson, Sri Parameswaran	Profiling in the ASP codesign environment.	ISSS	1995	DBLP DOI BibTeX RDF	Automated Synthesis and Partitioning system, Hardware/Software Codesign project, codesign environment, hardware/software codesign methodology, high-level profiling tools, virtual machines, software tools, C, computer architecture, profiling, systems analysis, circuit CAD, workstation, ASP, C code, dedicated hardware, execution profiling
46	Marina De Vos	ASP: The Future Is Bright.	LPNMR	2009	DBLP DOI BibTeX RDF
46	Nicola Leone	Exploiting ASP in Real-World Applications: Main Strengths and Challenges.	LPNMR	2009	DBLP DOI BibTeX RDF
46	Jia-Huai You	Towards an Embedded Approach to Declarative Problem Solving in ASP.	LPNMR	2009	DBLP DOI BibTeX RDF
46	Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele	Engineering an Incremental ASP Solver.	ICLP	2008	DBLP DOI BibTeX RDF
46	Wolfgang Faber 0001, Nicola Leone, Marco Maratea, Francesco Ricca	Experimenting with Look-Back Heuristics for Hard ASP Programs.	LPNMR	2007	DBLP DOI BibTeX RDF
46	Han-joon Kim, Ki Hun Paek	Promoting the Application Service Provision (ASP) Model.	DEEC	2005	DBLP DOI BibTeX RDF
46	Omar El-Khatib, Enrico Pontelli, Tran Cao Son	Integrating an Answer Set Solver into Prolog: ASP-PROLOG.	LPNMR	2005	DBLP DOI BibTeX RDF
46	Wolfgang Faber 0001, Francesco Ricca	Solving Hard ASP Programs Efficiently.	LPNMR	2005	DBLP DOI BibTeX RDF
46	Omar El-Khatib, Enrico Pontelli, Tran Cao Son	ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog.	PADL	2004	DBLP DOI BibTeX RDF
46	Enrico Pontelli, Tran Cao Son, Islam Elkabani	Smodels with CLP?A Treatment of Aggregates in ASP.	LPNMR	2004	DBLP DOI BibTeX RDF
46	Huinan Xu, Philip Seltsikas	Evolving the ASP Business Model: Web Service Provision in the Grid Era.	Peer-to-Peer Computing	2002	DBLP DOI BibTeX RDF
46	Thomas Wiedemann 0001	Simulation application service providing (SIM-ASP).	WSC	2001	DBLP DOI BibTeX RDF	World Wide Web (WWW)
46	David D. Zhang, Jerome Y. Brown	Architectural Significant Package (ASP): Fundamentals of Object-oriented Architecture Modeling for Real-time Embedded Applications.	WORDS	2001	DBLP DOI BibTeX RDF
45	Lakshmi Prayaga	Building dynamic web applications with ASP.Net and ColdFusion MX 7.0: a comparative approach.	SIGITE Conference	2005	DBLP DOI BibTeX RDF	ColdFusion MX 7.0, depth and breadth of knowledge, top-down teaching style, web application, active learning, ASP.Net
45	Michael A. Kittel, Geoffrey T. LeBlond	ASP.NET cookbook - the ultimate ASP.NET code sourcebook: covers ASP.NET 1.1.		2004	RDF
41	Yurong Yao, Lisa D. Murphy	A state-transition approach to application service provider client-vendor relationship development.	Data Base	2005	DBLP DOI BibTeX RDF	IT contracts, expectations match, relationship development, trust, dependence, outsourcing, conflict resolution, credibility, capability, ASP
41	Allen C. Cheng, Gary S. Tyson, Trevor N. Mudge	FITS: framework-based instruction-set tuning synthesis for embedded application specific processors.	DAC	2004	DBLP DOI BibTeX RDF	16-bit ISA, instruction synthesis, low-power, energy efficient, embedded processor, reconfigurable processors, ASP, instruction encoding, configurable architecture, code density
41	Yurong Yao, Lisa D. Murphy	Client Relationship Development for Application Service Providers: A Research Model.	HICSS	2002	DBLP DOI BibTeX RDF	client relationship development, outsourcing, ASP
41	Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone	Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs.	LPNMR	2009	DBLP DOI BibTeX RDF
41	Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner	Answer Set Programming: A Primer.	Reasoning Web	2009	DBLP DOI BibTeX RDF
41	Enrico Giunchiglia, Nicola Leone, Marco Maratea	On the relation among answer set solvers.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 68T27, 68T20
41	Torsten Schaub	Model-Based Knowledge Representation and Reasoning Via Answer Set Programming.	FLOPS	2008	DBLP DOI BibTeX RDF
41	Meiqun Liu	E-Service Delivery Pattern for Knowledge Discovery Grid.	KES (2)	2008	DBLP DOI BibTeX RDF	Data Mining, Grid Computing, Distributed Computing, Knowledge Discovery in Database, Grid service
41	Gerald R. Morris, Viktor K. Prasanna, Richard D. Anderson	An FPGA-Based Application-Specific Processor for Efficient Reduction of Multiple Variable-Length Floating-Point Data Sets.	ASAP	2006	DBLP DOI BibTeX RDF
41	Maarten Mariën, David Gilis, Marc Denecker	On the Relation Between ID-Logic and Answer Set Programming.	JELIA	2004	DBLP DOI BibTeX RDF
41	Oliver Günther 0001, Oliver Ricou	An XML/XSL-based Software Architecture for Application Service Providers (ASPs).	EC-Web	2000	DBLP DOI BibTeX RDF
40	Napoleon Torres-Martinez	ASP-DAC 2017 keynote speech II: Emerging medical technologies for interfacing the brain: From deep brain stimulation to brain computer interfaces.	ASP-DAC	2017	DBLP DOI BibTeX RDF
40	Steve Trimberger	ASP-DAC 2017 keynote speech III: All-programmable FPGAs: More powerful devices require more powerful tools.	ASP-DAC	2017	DBLP DOI BibTeX RDF
40	K. T. Tim Cheng	ASP-DAC 2017 keynote speech I-1: Heterogeneous integration of X-tronics: Design automation and education.	ASP-DAC	2017	DBLP DOI BibTeX RDF
40	Subhasish Mitra, Deming Chen	ASP-DAC 2017 keynote speech I: In memory of Edward J. McCluskey: The next wave of pioneering innovations.	ASP-DAC	2017	DBLP DOI BibTeX RDF
40	Hiroto Yasuura	ASP-DAC 2017 keynote speech I-3: Design of society: Beyond digital system design.	ASP-DAC	2017	DBLP DOI BibTeX RDF
40	John Rogers	ASP-DAC 2017 keynote speech I-2: Electronics for the human body.	ASP-DAC	2017	DBLP DOI BibTeX RDF
40	Atsushi Takahara	ASP-DAC 2015 keynote speech II programmable network.	ASP-DAC	2015	DBLP DOI BibTeX RDF
40	Noriko Arai	ASP-DAC 2015 keynote speech III: When and how will an AI be smart enough to design?	ASP-DAC	2015	DBLP DOI BibTeX RDF
35	Laurent Garcia, Stéphane Ngoma, Pascal Nicolas	Dealing Automatically with Exceptions by Introducing Specificity in ASP.	ECSQARU	2009	DBLP DOI BibTeX RDF
35	Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub	On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers.	ICLP	2009	DBLP DOI BibTeX RDF
35	Esra Erdem 0001, Ozan Erdem, Ferhan Türe	HAPLO-ASP: Haplotype Inference Using Answer Set Programming.	LPNMR	2009	DBLP DOI BibTeX RDF
35	Salvatore Maria Ielpa, Salvatore Iiritano, Nicola Leone, Francesco Ricca	An ASP-Based System for e-Tourism.	LPNMR	2009	DBLP DOI BibTeX RDF
35	Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, Torsten Schaub	Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs.	LPNMR	2009	DBLP DOI BibTeX RDF
35	Claire Lefèvre, Pascal Nicolas	The First Version of a New ASP Solver : ASPeRiX.	LPNMR	2009	DBLP DOI BibTeX RDF
35	Toni Mancini, Davide Micaletto, Fabio Patrizi, Marco Cadoli	Evaluating ASP and Commercial Solvers on the CSPLib.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Declarative constraint modelling, Problem reformulation, Experimental evaluation among solvers, OPL, Constraint programming, Answer Set Programming
35	Thomas Eiter	SMS and ASP: Hype or TST?.	ICLP	2008	DBLP DOI BibTeX RDF
35	Gerardo Ayala 0001, Magdalena Ortiz 0001, Mauricio Osorio 0001	Application of ASP for Agent Modelling in CSCL Environments.	MICAI	2005	DBLP DOI BibTeX RDF
35	Agostino Dovier, Andrea Formisano 0001, Enrico Pontelli	A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems.	ICLP	2005	DBLP DOI BibTeX RDF
35	Nicola Leone, Thomas Eiter, Wolfgang Faber 0001, Michael Fink 0001, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati 0001, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina	Data Integration: a Challenging ASP Application.	LPNMR	2005	DBLP DOI BibTeX RDF
35	Islam Elkabani, Enrico Pontelli, Tran Cao Son	Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP.	ICLP	2004	DBLP DOI BibTeX RDF
35	Nicola Leone, Vincenzino Lio, Giorgio Terracina	DLVDB: Adding Efficient Data Management Features to ASP.	LPNMR	2004	DBLP DOI BibTeX RDF
35	Matthew W. Guah, Wendy L. Currie	Logicality of ASP in Healthcare: The NHS Case Study.	HICSS	2004	DBLP DOI BibTeX RDF
35	Mark A. Perillo, Wendi Beth Heinzelman	ASP: An Adaptive Energy-Efficient Polling Algorithm for Bluetooth Piconets.	HICSS	2003	DBLP DOI BibTeX RDF
35	Robert Braden, Robert Lindell, Steven Berson, Theodore Faber	The ASP EE: An Active Network Execution Environment.	DANCE	2002	DBLP DOI BibTeX RDF
35	Wei Zhang, Xiaohong Pan	Research on Mobile-agent Based for ASP Model.	IITSI	2009	DBLP DOI BibTeX RDF	auto parts, ASP platform, mobile-Agent
33	Prashant Goswami, Abbas Cheddad, Fredrik Junede, Samuel Asp	Interactive landscape-scale cloud animation using DCGAN.	Frontiers Comput. Sci.	2023	DBLP DOI BibTeX RDF
33	Anders J. Asp, Yaswanth Chintaluru, Sydney Hillan, Jose-Luis Poza-Luján	Targeted neuroplasticity in spatiotemporally patterned invasive neuromodulation therapies for improving clinical outcomes.	Frontiers Neuroinformatics	2023	DBLP DOI BibTeX RDF
33	Marie Trolle Bonnesen, Søren Asp Fuglsang, Hartwig Roman Siebner, Lasse Christiansen	The recent history of afferent stimulation modulates corticospinal excitability.	NeuroImage	2022	DBLP DOI BibTeX RDF
33	Søren Asp Fuglsang, Kristoffer H. Madsen, Oula Puonti, Jens Hjortkjær, Hartwig R. Siebner	Mapping cortico-subcortical sensitivity to 4 Hz amplitude modulation depth in human auditory system with functional MRI.	NeuroImage	2022	DBLP DOI BibTeX RDF
33	Mads Emil Dahlgaard, Morten Wehlast Jørgensen, Niels Asp Fuglsang, Hiba Nassar	Analysing the Influence of Attack Configurations on the Reconstruction of Medical Images in Federated Learning.	CoRR	2022	DBLP DOI BibTeX RDF
33	Alexander Asp Bock, Thomas Bøgholm, Peter Sestoft, Bent Thomsen, Lone Leth Thomsen	On the cost semantics for spreadsheets with sheet-defined functions.	J. Comput. Lang.	2022	DBLP DOI BibTeX RDF
33	Robert M. Auenhammer, Niels Jeppesen, Lars P. Mikkelsen, Vedrana Andersen Dahl, Leif E. Asp	X-ray computed tomography data structure tensor orientation mapping for finite element models - STXAE.	Softw. Impacts	2022	DBLP DOI BibTeX RDF
33	Alexander Asp Bock	Parallel spreadsheet evaluation and dynamic cycle detection.	Concurr. Comput. Pract. Exp.	2021	DBLP DOI BibTeX RDF
33	Karel Pärlin, Taneli Riihonen, Vincent Le Nir, Mark D. J. Bowyer, Thomas Ranström, Erik Axell, Börje Asp, Robert J. Ulman, Matthias Tschauner, Marc Adrat	Full-Duplex Tactical Information and Electronic Warfare Systems.	IEEE Commun. Mag.	2021	DBLP DOI BibTeX RDF