|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 312 occurrences of 239 keywords
|
|
|
Results
Found 609 publication records. Showing 609 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
111 | Barton P. Miller, Morgan Clark, Jeffrey K. Hollingsworth, Steven Kierstead, Sek-See Lim, Timothy Torzewski |
IPS-2: The Second Generation of a Parallel Program Measurement System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 1(2), pp. 206-217, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
IPS-2, parallel program measurement system, performance measurement system, performance analysis techniques, program bottlenecks, interactive program analysis, automatic guidance techniques, Charlotte distributed operating system, 4.3BSD UNIX systems, DECstation, Sun 4, Sequent Symmetry multiprocessor, performance evaluation, parallel programs, parallel programming, semantics, graphical user interface, software tools, Unix, shared-memory systems, distributed programs, network operating systems, program diagnostics, VAX, design concepts, message systems, CPA |
74 | Matt Spear, Xiaoming Lu, Norman S. Matloff, Shyhtsun Felix Wu |
Inter-Profile Similarity (IPS): A Method for Semantic Analysis of Online Social Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex (1) ![In: Complex Sciences, First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009. Revised Papers, Part 1, pp. 320-333, 2009, Springer, 978-3-642-02465-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Profile Similarity, Natural Language Processing, Semantic Analysis, Online Social Network |
66 | George Varghese, J. Andrew Fingerhut, Flavio Bonomi |
Detecting evasion attacks at high speeds without reassembly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 2006 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, Pisa, Italy, September 11-15, 2006, pp. 327-338, 2006, ACM, 1-59593-308-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
TCP reassembly, normalization, intrusion prevention systems, evasion attacks |
66 | Xinyou Zhang, Chengzhong Li, Wenbin Zheng |
Intrusion Prevention System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: 2004 International Conference on Computer and Information Technology (CIT 2004), 14-16 September 2004, Wuhan, China, pp. 386-390, 2004, IEEE Computer Society, 0-7695-2216-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
66 | Jianwen Zhu, Wai Sum Mong |
Specification of Non-Functional Intellectual Property Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2003 Design, Automation and Test in Europe Conference and Exposition (DATE 2003), 3-7 March 2003, Munich, Germany, pp. 10456-10461, 2003, IEEE Computer Society, 0-7695-1870-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
63 | Bita Gorjiara, Daniel Gajski |
A novel profile-driven technique for simultaneous power and code-size optimization of microcoded IPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 25th International Conference on Computer Design, ICCD 2007, 7-10 October 2007, Lake Tahoe, CA, USA, Proceedings, pp. 609-614, 2007, IEEE, 1-4244-1258-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
55 | Nicholas Weaver, Vern Paxson, José M. González |
The shunt: an FPGA-based accelerator for network intrusion prevention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the ACM/SIGDA 15th International Symposium on Field Programmable Gate Arrays, FPGA 2007, Monterey, California, USA, February 18-20, 2007, pp. 199-206, 2007, ACM, 978-1-59593-600-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
FPGA, intrusion detection, hardware acceleration, NIC |
55 | Anirban Banerjee, Michalis Faloutsos, Laxmi N. Bhuyan |
The P2P War: Someone Is Monitoring Your Activities! ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networking ![In: NETWORKING 2007. Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet, 6th International IFIP-TC6 Networking Conference, Atlanta, GA, USA, May 14-18, 2007, Proceedings, pp. 1096-1107, 2007, Springer, 978-3-540-72605-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
RIAA, User monitoring, Peer-to-peer networks, Gnutella |
55 | Dessislava Nikolova, Benny Van Houdt, Chris Blondia |
Dynamic Bandwidth Allocation Algorithms for Ethernet Passive Optical Networks with Threshold Reporting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 28(1), pp. 31-52, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Ethernet passive optical network (EPON), threshold reporting, dynamic bandwidth allocation |
52 | Simon P. Chung, Aloysius K. Mok |
The LAIDS/LIDS Framework for Systematic IPS Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIA ![In: Proceedings of the 4th IEEE International Workshop on Information Assurance (IWIA 2006), 13-14 April 2006, Egham, Surrey, UK, pp. 3-11, 2006, IEEE Computer Society, 0-7695-2564-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
52 | Grace Nordin, Peter A. Milder, James C. Hoe, Markus Püschel |
Automatic generation of customized discrete fourier transform IPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005, pp. 471-474, 2005, ACM, 1-59593-058-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
design generator, FPGA, IP, discrete fourier transform |
52 | Kay Schröter, Diemo Urbig |
C-IPS: Specifying Decision Interdependencies in Negotiations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATES ![In: Multiagent System Technologies, Second German Conference, MATES 2004, Erfurt, Germany, September 29-30, 2004, Proceedings, pp. 114-125, 2004, Springer, 3-540-23222-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
52 | Diemo Urbig, Dagmar Monett Díaz, Kay Schröter |
The C-IPS Agent Architecture for Modeling Negotiating Social Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATES ![In: Multiagent System Technologies, First German Conference, MATES 2003, Erfurt, Germany, September 22-25, 2003, Proceedings, pp. 217-228, 2003, Springer, 3-540-20124-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Cui-Qing Yang, Barton P. Miller |
Performance Measurement for Parallel and Distributed Programs: A Structured and Automatic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(12), pp. 1615-1629, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
automatic approach, performance measurement systems, performance information, automatic guidance techniques, program efficiency, performance evaluation, parallel programs, software reliability, program testing, distributed programs, hierarchical model, multiprocessing programs, IPS, performance problems |
45 | Reza Moraveji, Hamid Sarbazi-Azad, Maghsoud Abbaspour |
Optimal Placement of Frequently Accessed IPs in Mesh NoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia-Pacific Computer Systems Architecture Conference ![In: Advances in Computer Systems Architecture, 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings, pp. 126-138, 2007, Springer, 978-3-540-74308-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Latency model, IPs/Cores mapping, System on chip, Network on chip, Mesh, Power model |
44 | Muhammad Aqeel Wahlah, Kees Goossens |
Modeling reconfiguration in a FPGA with a hardwired network on chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-8, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
44 | Soon Hin Khor, Akihiro Nakao |
Overfort: Combating DDoS with peer-to-peer DDoS puzzle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008, pp. 1-8, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
44 | Benny Akesson, Kees Goossens, Markus Ringhofer |
Predator: a predictable SDRAM memory controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2007, Salzburg, Austria, September 30 - October 3, 2007, pp. 251-256, 2007, ACM, 978-1-59593-824-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
predictability, system-on-chip, SDRAM, memory controller |
44 | Junhyung Um, Woo-Cheol Kwon, Sungpack Hong, Young-Taek Kim, Kyu-Myung Choi, Jeong-Taek Kong, Soo-Kwan Eo, Taewhan Kim |
A systematic IP and bus subsystem modeling for platform-based system design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006, pp. 560-564, 2006, European Design and Automation Association, Leuven, Belgium, 3-9810801-1-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Lin Yuan, Gang Qu 0001, Lahouari Ghouti, Ahmed Bouridane |
VLSI Design IP Protection: Solutions, New Challenges, and Opportunities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHS ![In: First NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2006), 15-18 June 2006, Istanbul, Turkey, pp. 469-476, 2006, IEEE Computer Society, 0-7695-2614-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Naoki Tomono, Shunitsu Kohara, Jumpei Uchida, Yuichiro Miyaoka, Nozomu Togawa, Masao Yanagisawa, Tatsuo Ohtsuki |
A processor core synthesis system in IP-based SoC design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2005 Conference on Asia South Pacific Design Automation, ASP-DAC 2005, Shanghai, China, January 18-21, 2005, pp. 286-291, 2005, ACM Press, 0-7803-8737-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Geeng-Wei Lee, Juinn-Dar Huang, Jing-Yang Jou, Chun-Yao Wang |
Verification on Port Connections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings 2004 International Test Conference (ITC 2004), October 26-28, 2004, Charlotte, NC, USA, pp. 830-836, 2004, IEEE Computer Society, 0-7803-8581-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Lin Yuan, Pushkin R. Pari, Gang Qu 0001 |
Soft IP Protection: Watermarking HDL Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Information Hiding ![In: Information Hiding, 6th International Workshop, IH 2004, Toronto, Canada, May 23-25, 2004, Revised Selected Papers, pp. 224-238, 2004, Springer, 3-540-24207-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Ieroham S. Baruch, Alfredo del Carmen Martinez Q., Ruben Garrido, Boyka Nenkova |
Direct Adaptive Neural Control with Integral-Plus-State Action. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 10th International Conference, AIMSA 2002, Varna, Bulgaria, September 4-6, 2002, Proceedings, pp. 91-100, 2002, Springer, 3-540-44127-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
44 | Cynthia Dwork, Larry J. Stockmeyer |
Zero-Knowledge With Finite State Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '88, 8th Annual International Cryptology Conference, Santa Barbara, California, USA, August 21-25, 1988, Proceedings, pp. 71-75, 1988, Springer, 3-540-97196-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
44 | Riccardo De Benedictis, Matteo Castiglioni, Diodato Ferraioli, Vadim Malvone, Marco Maratea, Enrico Scala, Luciano Serafini, Ivan Serina, Elisa Tosello, Alessandro Umbrico, Mauro Vallati (eds.) |
Proceedings of the the Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (IPS-RCRA-SPIRIT 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA-SPIRIT@AI*IA ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Riccardo De Benedictis, Nicola Gatti 0001, Marco Maratea, Andrea Micheli, Aniello Murano, Enrico Scala, Luciano Serafini, Ivan Serina, Alessandro Umbrico, Mauro Vallati (eds.) |
Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS/RiCeRcA/SPIRIT@AI*IA ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Aniello Murano, Mimmo Parente, Silvia Stranieri |
A Multi-Agent Game for Sentiment Analysis (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA-SPIRIT@AI*IA ![In: Proceedings of the the Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (IPS-RCRA-SPIRIT 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Mattia Chiari, Alfonso Emilio Gerevini, Luca Putelli, Ivan Serina |
Goal Recognition with Deep Learning and Embedded Representation of State Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA-SPIRIT@AI*IA ![In: Proceedings of the the Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (IPS-RCRA-SPIRIT 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Mikhail Soutchanski, Ryan Young |
Planning as Theorem Proving with Heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA-SPIRIT@AI*IA ![In: Proceedings of the the Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (IPS-RCRA-SPIRIT 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Marco Favorito |
Forward LTLf Synthesis: DPLL At Work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA-SPIRIT@AI*IA ![In: Proceedings of the the Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (IPS-RCRA-SPIRIT 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Riccardo De Benedictis, Gloria Beraldo, Amedeo Cesta, Gabriella Cortellessa |
Investigating Domain-oriented Approaches to Optimization in Timeline-Based Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA-SPIRIT@AI*IA ![In: Proceedings of the the Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (IPS-RCRA-SPIRIT 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Vittorio Bilò, Lucaleonardo Bove, Cosimo Vinci |
Utility-Sharing Games: How to Improve the Efficiency with Limited Subsidies (short paper) . ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA-SPIRIT@AI*IA ![In: Proceedings of the the Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (IPS-RCRA-SPIRIT 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Daniela Cialfi |
The Economic Agent's Meta-Brain: a Biological-Economic Complex Agent-Based model (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA-SPIRIT@AI*IA ![In: Proceedings of the the Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (IPS-RCRA-SPIRIT 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Alberto Castellini, Davide Bragantini, Davide Rossignolo, Federico Segala, Alessandro Farinelli |
Tabular Model Learning in Monte Carlo Tree Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA-SPIRIT@AI*IA ![In: Proceedings of the the Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (IPS-RCRA-SPIRIT 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Giuseppe Agresta, Giovanni Amendola, Pietro Cofone, Marco Manna, Aldo Ricioppo |
Characterizing Nexus of Similarity between Entities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA-SPIRIT@AI*IA ![In: Proceedings of the the Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (IPS-RCRA-SPIRIT 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Shaun Mathew, Mikhail Soutchanski |
Heuristic Planning for Hybrid Dynamical Systems with Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA-SPIRIT@AI*IA ![In: Proceedings of the the Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (IPS-RCRA-SPIRIT 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Giovanna Varricchio |
On Approximate Strategyproof Mechanisms for Hedonic Games and the Group Activity Selection Problem (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA-SPIRIT@AI*IA ![In: Proceedings of the the Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (IPS-RCRA-SPIRIT 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Angelo Ferrando 0001 |
Towards a Coalition Refinement Approach in the Strategic Verification of Multi-Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA-SPIRIT@AI*IA ![In: Proceedings of the the Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (IPS-RCRA-SPIRIT 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Davide Catta, Jean Leneutre, Vadim Malvone |
Reasoning About Dynamic Game Models Using Obstruction Logic (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA-SPIRIT@AI*IA ![In: Proceedings of the the Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (IPS-RCRA-SPIRIT 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Enrico Giunchiglia, Marco Maratea, Marco Mochi |
A Simple Proof-Theoretic Characterization of Stable Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA-SPIRIT@AI*IA ![In: Proceedings of the the Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (IPS-RCRA-SPIRIT 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Andrea Rafanelli, Stefania Costantini, Giovanni De Gasperis |
Experimenting an Approach to Neuro-Symbolic RL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA-SPIRIT@AI*IA ![In: Proceedings of the the Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (IPS-RCRA-SPIRIT 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Vincenzo Auletta, Antonio Coppola, Diodato Ferraioli |
On the Impact of Social Media Recommendations on Consensus of Discrete Opinions (Short Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA-SPIRIT@AI*IA ![In: Proceedings of the the Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (IPS-RCRA-SPIRIT 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Alessandro Aloisio, Michele Flammini, Bojana Kodric, Cosimo Vinci |
Distance Polymatrix Coordination Games (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA-SPIRIT@AI*IA ![In: Proceedings of the the Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (IPS-RCRA-SPIRIT 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Riccardo De Benedictis, Marco Maratea, Andrea Micheli, Enrico Scala, Ivan Serina, Mauro Vallati, Alessandro Umbrico (eds.) |
Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA'21) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), Milan, Italy (virtual), November 29th-30th, 2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA@AI*IA ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
44 | Angelo Ferrando 0001, Vadim Malvone |
Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS/RiCeRcA/SPIRIT@AI*IA ![In: Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
44 | Aymeric Barbin, Federico Cerutti 0001, Alfonso Emilio Gerevini |
Addressing the Symbol Grounding Problem with Constraints in Neuro-Symbolic Planning (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS/RiCeRcA/SPIRIT@AI*IA ![In: Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
44 | Sondes Morchedi, Prakash Jamakatel, Jane Jean Kiam |
Exploring the Unified Planning Framework for a More Integrated and Flexible Fault Flight Path Planning System (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS/RiCeRcA/SPIRIT@AI*IA ![In: Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
44 | Dario Guidotti |
Verification of Neural Networks for Safety and Security-critical Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS/RiCeRcA/SPIRIT@AI*IA ![In: Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
44 | Lorenzo Serina, Mattia Chiari, Alfonso Emilio Gerevini, Luca Putelli, Ivan Serina |
A Preliminary Study on BERT applied to Automated Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS/RiCeRcA/SPIRIT@AI*IA ![In: Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
44 | Denise Angilica, Giovambattista Ianni, Francesca A. Lisi, Luca Pulina |
AI and Videogames: a "Drosophila" for Declarative Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS/RiCeRcA/SPIRIT@AI*IA ![In: Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
44 | Munyque Mittelmann |
Logics for Reasoning about Auctions (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS/RiCeRcA/SPIRIT@AI*IA ![In: Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
44 | Luigi Bonassi, Enrico Scala, Alfonso Emilio Gerevini |
Planning with PDDL3 Qualitative Constraints for Cost-Optimal Solutions Through Compilation (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS/RiCeRcA/SPIRIT@AI*IA ![In: Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
44 | Romina Eramo, Tiziana Fanni, Dario Guidotti, Laura Pandolfo, Luca Pulina, Katiuscia Zedda |
Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS/RiCeRcA/SPIRIT@AI*IA ![In: Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
44 | Riccardo De Benedictis, Gloria Beraldo, Amedeo Cesta, Gabriella Cortellessa |
Branching and Pruning for Timeline-based Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS/RiCeRcA/SPIRIT@AI*IA ![In: Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
44 | Alessandro Burigana, Francesco Fabiano |
The Epistemic Planning Domain Definition Language (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS/RiCeRcA/SPIRIT@AI*IA ![In: Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
44 | Antonio Di Stasio 0001 |
Explicit and Symbolic Approaches for Parity Games (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS/RiCeRcA/SPIRIT@AI*IA ![In: Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
44 | Vincenzo Auletta, Diodato Ferraioli, Cosimo Vinci |
On Augmented Stochastic Submodular Optimization: Adaptivity, Multi-Rounds, Budgeted, and Robustness (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS/RiCeRcA/SPIRIT@AI*IA ![In: Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
44 | Davide Catta, Jean Leneutre, Vadim Malvone |
Towards a Formal Verification of Attack Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS/RiCeRcA/SPIRIT@AI*IA ![In: Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
44 | Laura Pandolfo, Lucia Cardone, Luisa Cutzu, Beatrice Seligardi, Giulia Simi |
Building the Semantic Portal of Italian Divagrafie (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS/RiCeRcA/SPIRIT@AI*IA ![In: Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
44 | Marco Esposito, Leonardo Picchiami |
Intelligent Search for Personalized Cancer Therapy Synthesis: an Experimental Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA@AI*IA ![In: Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on `Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion` (RCRA'21) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), Milan, Italy (virtual), November 29th-30th, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
44 | Angela Pappagallo |
Statistical Model Checking as an Effective Technology to Formally Analyze Industry-Relevant Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA@AI*IA ![In: Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on `Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion` (RCRA'21) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), Milan, Italy (virtual), November 29th-30th, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
44 | Riccardo Bertolucci, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro, Francesco Ricca |
Explaining ASP-based Operating Room Schedules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA@AI*IA ![In: Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on `Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion` (RCRA'21) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), Milan, Italy (virtual), November 29th-30th, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
44 | Leonardo Picchiami |
Automatic Synthesis of Stabilizing Controllers for Discrete Time Linear Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA@AI*IA ![In: Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on `Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion` (RCRA'21) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), Milan, Italy (virtual), November 29th-30th, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
44 | Simone Caruso, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro |
Scheduling Pre-Operative Assessment Clinic via Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA@AI*IA ![In: Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on `Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion` (RCRA'21) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), Milan, Italy (virtual), November 29th-30th, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
44 | Emanuele De Pellegrin, Ronald P. A. Petrick |
Plan Simulation with PDSim. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA@AI*IA ![In: Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on `Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion` (RCRA'21) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), Milan, Italy (virtual), November 29th-30th, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
44 | Giuseppe Galatà, Marco Maratea, Marco Mochi, Victoria Morozan, Ivan Porro |
An ASP-based solution to the Operating Room Scheduling with care units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA@AI*IA ![In: Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on `Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion` (RCRA'21) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), Milan, Italy (virtual), November 29th-30th, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
44 | Gabriele Sartor, Davide Zollo, Marta Cialdea Mayer, Angelo Oddi, Riccardo Rasconi, Vieri Giuliano Santucci |
Autonomous Generation of Symbolic Knowledge via Option Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPS-RCRA@AI*IA ![In: Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on `Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion` (RCRA'21) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), Milan, Italy (virtual), November 29th-30th, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
44 | Rakesh Shukla, Anjaneyulu Pasala, Srinivas Padmanabhuni (eds.) |
1st International Workshop on Software Engineering Research and Industrial Practices, SER&IPs 2014, Hyderabad, India, June 1, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SER&IPs ![ACM, 978-1-4503-2859-3 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
44 | Sagar Sen |
Certus: glimpses of a centre for research-based innovation in software verification and validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SER&IPs ![In: 1st International Workshop on Software Engineering Research and Industrial Practices, SER&IPs 2014, Hyderabad, India, June 1, 2014, pp. 2-5, 2014, ACM, 978-1-4503-2859-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
44 | Radhika D. Venkatasubramanyam, Sowmya G. R. |
Why is dynamic analysis not used as extensively as static analysis: an industrial study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SER&IPs ![In: 1st International Workshop on Software Engineering Research and Industrial Practices, SER&IPs 2014, Hyderabad, India, June 1, 2014, pp. 24-33, 2014, ACM, 978-1-4503-2859-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
44 | Veronika Bauer, Jonas Eckhardt, Benedikt Hauptmann, Manuel Klimek |
An exploratory study on reuse at google. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SER&IPs ![In: 1st International Workshop on Software Engineering Research and Industrial Practices, SER&IPs 2014, Hyderabad, India, June 1, 2014, pp. 14-23, 2014, ACM, 978-1-4503-2859-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
44 | Thomas Zimmermann 0001 |
Confessions of an industrial researcher: a typical bollywood story (invited talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SER&IPs ![In: 1st International Workshop on Software Engineering Research and Industrial Practices, SER&IPs 2014, Hyderabad, India, June 1, 2014, pp. 1, 2014, ACM, 978-1-4503-2859-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
44 | Bimlesh Wadhwa, Aditi Jaitly, Bharti Suri |
Making sense of academia-industry gap in the evolving cloud service brokerage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SER&IPs ![In: 1st International Workshop on Software Engineering Research and Industrial Practices, SER&IPs 2014, Hyderabad, India, June 1, 2014, pp. 6-9, 2014, ACM, 978-1-4503-2859-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
44 | Wolfgang Böhm 0002, Maximilian Junker, Andreas Vogelsang, Sabine Teufl, Ralf Pinger, Karsten Rahn |
A formal systems engineering approach in practice: an experience report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SER&IPs ![In: 1st International Workshop on Software Engineering Research and Industrial Practices, SER&IPs 2014, Hyderabad, India, June 1, 2014, pp. 34-41, 2014, ACM, 978-1-4503-2859-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
44 | Helen Sharp, Laura Plonka, Katie Taylor, Peggy Gregory |
Overcoming challenges in collaboration between research and practice: the agile research network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SER&IPs ![In: 1st International Workshop on Software Engineering Research and Industrial Practices, SER&IPs 2014, Hyderabad, India, June 1, 2014, pp. 10-13, 2014, ACM, 978-1-4503-2859-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
41 | Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla |
A Trace-Based Framework for Verifiable GALS Composition of IPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 16(9), pp. 1176-1186, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Deepak Mathaikutty, Sandeep K. Shukla |
MCF: A Metamodeling-Based Component Composition Framework - Composing SystemC IPs for Executable System Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 16(7), pp. 792-805, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Nicola Bombieri, Nicola Deganello, Franco Fummi |
Integrating RTL IPs into TLM Designs Through Automatic Transactor Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008, pp. 15-20, 2008, ACM, 978-3-9810801-3-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Hilmi A. Lahoud, Xin Tang |
Information security labs in IDS/IPS for distance education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGITE Conference ![In: Proceedings of the 7th Conference on Information Technology Education, SIGITE 2006, Minneapolis, Minnesota, USA, October 19-21, 2006, pp. 47-52, 2006, ACM, 1-59593-521-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
online labs, distance learning, remote labs |
41 | Zoran Duric |
IPS - Secure Internet Payment System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (1) ![In: International Symposium on Information Technology: Coding and Computing (ITCC 2005), Volume 1, 4-6 April 2005, Las Vegas, Nevada, USA, pp. 425-430, 2005, IEEE Computer Society, 0-7695-2315-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Arthur Segard, François Verdier |
SOC and RTOS: Managing IPs and Tasks Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field Programmable Logic and Application, 14th International Conference , FPL 2004, Leuven, Belgium, August 30-September 1, 2004, Proceedings, pp. 710-718, 2004, Springer, 3-540-22989-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Danton Diego Ferreira, Antônio Maurício Ferreira Leite Miranda de Sá, Augusto Santiago Cerqueira, José Manoel de Seixas |
ICA-Based Method for Quantifying EEG Event-Related Desynchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA ![In: Independent Component Analysis and Signal Separation, 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings, pp. 403-410, 2009, Springer, 978-3-642-00598-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ERD, ERS, ICA, EEG, ERP, IPS |
38 | Juan M. Estévez-Tapiador |
Book Review: Practical Intrusion Prevention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Distributed Syst. Online ![In: IEEE Distributed Syst. Online 7(6), 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
IPS, intrusion prevention systems |
38 | Slo-Li Chu, Li-Yu Lin, Ming-Dar Tsai, Kuniya Abe, Kazuhiro Sudo, Yukio Nakamura, Hideo Yokota |
CNN Based iPS Cell Formation Stage Classifier for Human iPS Cell Growth Status Prediction Using Time-lapse Microscopy Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: 20th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2020, Cincinnati, OH, USA, October 26-28, 2020, pp. 616-621, 2020, IEEE, 978-1-7281-9574-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
38 | Sacha Loitz |
A property checking methodology for weakly programmable system-on-chip IPs (Eine Methode zur Eigenschaftsprüfung von schwach programmierbaren System-on-Chip IPs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
33 | Che-Kuang Lin, Lin-Shan Lee |
Improved Features and Models for Detecting Edit Disfluencies in Transcribing Spontaneous Mandarin Speech. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 17(7), pp. 1263-1278, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Leonardo Trujillo, Gustavo Olague, Evelyne Lutton, Francisco Fernández de Vega |
Multiobjective design of operators that detect points of interest in images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008, pp. 1299-1306, 2008, ACM, 978-1-60558-130-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
interest point detection, multiobjective optimization |
33 | Abbas Eslami Kiasari, Shaahin Hessabi, Hamid Sarbazi-Azad |
PERMAP: A performance-aware mapping for application-specific SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 19th IEEE International Conference on Application-Specific Systems, Architectures and Processors, ASAP 2008, July 2-4, 2008, Leuven, Belgium, pp. 73-78, 2008, IEEE Computer Society, 978-1-4244-1897-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Anand Rajaram, David Z. Pan |
Robust chip-level clock tree synthesis for SOC designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008, pp. 720-723, 2008, ACM, 978-1-60558-115-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
chip-level CTS, physical design, clock network |
33 | José M. González, Vern Paxson, Nicholas Weaver |
Shunting: a hardware/software architecture for flexible, high-performance network intrusion prevention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2007 ACM Conference on Computer and Communications Security, CCS 2007, Alexandria, Virginia, USA, October 28-31, 2007, pp. 139-149, 2007, ACM, 978-1-59593-703-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
nips, fpga, intrusion detection, hardware acceleration, intrusion prevention, nids |
33 | Subir K. Roy |
Top Level SOC Interconnectivity Verification Using Formal Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTV ![In: Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), Common Challenges and Solutions, 5-6 December 2007, Austin, Texas, USA, pp. 63-70, 2007, IEEE Computer Society, 978-0-7695-3241-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Vu-Duc Ngo, June-Young Chang, Younghwan Bae, Hanjin Cho, Hae-Wook Choi |
Latency Optimization for NoC Design of H.264 Decoder Based on Self-similar Traffic Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: Parallel and Distributed Processing and Applications, 5th International Symposium, ISPA 2007, Niagara Falls, Canada, August 29-31, 2007, Proceedings, pp. 289-302, 2007, Springer, 978-3-540-74741-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Nacer-Eddine Zergainoh, Ludovic Tambour, Ahmed Amine Jerraya |
Automatic delay correction method for IP block-based design of VLSI dedicated digital signal processing systems: theoretical foundations and implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 14(4), pp. 349-360, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Kevin Hammerstrom, John E. Aldrich, Len Alves, Andrew Ho |
Recognition and Prevention of Computed Radiography Image Artifacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Digit. Imaging ![In: J. Digit. Imaging 19(3), pp. 226-239, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
cassette, imaging plate, image artifact, yellowing, delamination, quality control, Computed radiography |
33 | Jui-Feng Yeh, Chung-Hsien Wu |
Edit disfluency detection and correction using a cleanup language model and an alignment model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 14(5), pp. 1574-1583, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Sushant Sinha, Farnam Jahanian, Jignesh M. Patel |
WIND: Workload-Aware INtrusion Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAID ![In: Recent Advances in Intrusion Detection, 9th International Symposium, RAID 2006, Hamburg, Germany, September 20-22, 2006, Proceedings, pp. 290-310, 2006, Springer, 3-540-39723-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
workload aware, adaptive algorithm, deep packet inspection, Intrusion detection and prevention |
33 | Pierre Bomel, Nabil Abdelli, Eric Martin 0001, Anne-Marie Fouilliart, Emmanuel Boutillon, Philippe Kajfasz |
DVB-DSNG Modem High Level Synthesis in an Optimized Latency Insensitive System Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMOS ![In: Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005, Proceedings, pp. 424-433, 2005, Springer, 3-540-26969-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Vu-Duc Ngo, Huy Nam Nguyen, Hae-Wook Choi |
Designing On-Chip Network Based on Optimal Latency Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: Embedded Software and Systems, Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings, pp. 287-298, 2005, Springer, 3-540-30881-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Pierre Fatrus Gabriel, Jean-Bernard Hayet, Justus H. Piater, Jacques G. Verly |
Object tracking using color interest points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVSS ![In: Advanced Video and Signal Based Surveillance, 2005 IEEE International Conference on Video and Signal Based Surveillance (AVSS'05), 15-16 September 2005, Como, Italy., pp. 159-164, 2005, IEEE Computer Society, 0-7803-9385-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 609 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|