|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 11 keywords
|
|
|
Results
Found 40 publication records. Showing 40 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
101 | Sheng Sun, Larry McMurchie, Carl Sechen |
A High-Performance 64-bit Adder Implemented in Output Prediction Logic. |
ARVLSI |
2001 |
DBLP DOI BibTeX RDF |
|
90 | Christopher Alm, Ruben Wolf, Joachim Posegga |
The OPL Access Control Policy Language. |
TrustBus |
2009 |
DBLP DOI BibTeX RDF |
|
81 | Larry McMurchie, Su Kio, Gin Yee, Tyler Thorp, Carl Sechen |
Output Prediction Logic: A High-Performance CMOS Design Technique. |
ICCD |
2000 |
DBLP DOI BibTeX RDF |
|
81 | Stephen H. Muggleton, Christopher H. Bryant |
Theory Completion Using Inverse Entailment. |
ILP |
2000 |
DBLP DOI BibTeX RDF |
|
61 | Pierre Flener, Brahim Hnich, Zeynep Kiziltan |
Compiling High-Level Type Constructors in Constraint Programming. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
61 | Christos A. Yfoulis, A. Muir, Peter E. Wellstead, N. B. O. L. Pettit |
Stabilization of Orthogonal Piecewise Linear Systems: Robustness Analysis and Design. |
HSCC |
1999 |
DBLP DOI BibTeX RDF |
|
54 | 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 |
40 | Hakem Beitollahi, Geert Deconinck |
An overlay protection layer against Denial-of-Service attacks. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Jie Hu, Xianzhong Xie, Xing Xu |
Performance Analysis of Power Allocation with QoS Constraints in BLAST System. |
EUROMICRO-SEAA |
2007 |
DBLP DOI BibTeX RDF |
|
40 | Armagan Tarim, Suresh Manandhar, Toby Walsh |
Stochastic Constraint Programming: A Scenario-Based Approach. |
Constraints An Int. J. |
2006 |
DBLP DOI BibTeX RDF |
Constraint satisfaction, Constraint programming, Reasoning under uncertainty |
40 | Xinyu Guo, Carl Sechen |
High Speed Redundant Adder and Divider in Output Prediction Logic. |
ISVLSI |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Marco Cadoli, Toni Mancini |
Exploiting Functional Dependencies in Declarative Problem Specifications. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Christopher Alm, Roland Illig |
Translating High-Level Authorization Constraints to XACML. |
SERVICES |
2010 |
DBLP DOI BibTeX RDF |
OPL, RBAC, Translation, XACML, Separation of Duty |
30 | Ana Carolina Almeida, Daniel Schwabe, Sérgio Lifschitz, Maria Luiza Machado Campos |
CM-OPL: An Ontology Pattern Language for Configuration Management Task. |
ONTOBRAS |
2018 |
DBLP BibTeX RDF |
|
30 | Glaice Kelly da Silva Quirino, Monalessa Perini Barcellos, Ricardo de Almeida Falbo |
OPL-ML: A Modeling Language for Representing Ontology Pattern Languages. |
ER Workshops |
2017 |
DBLP DOI BibTeX RDF |
|
30 | Priti Parikh, Jie Zheng 0001, Flora J. Logan-Klumpler, Christian J. Stoeckert Jr., Christos Louis, Pantelis Topalis, Anna V. Protasio, Amit P. Sheth, Mark Carrington, Matthew Berriman, Satya Sanket Sahoo |
The Ontology for Parasite Lifecycle (OPL): towards a consistent vocabulary of lifecycle stages in parasitic organisms. |
J. Biomed. Semant. |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Angela Abell |
The New OPL Sourcebook: A Guide for Solo and Small Libraries (3rd ed.). |
Program |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Necmeddin Tanriöver, E. Medetogullari |
Comment on Inventory policy for products with price and time-dependent demands(J Opl Res Soc (2005) 56, 870-873). |
J. Oper. Res. Soc. |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Pascal Van Hentenryck |
Constraint and Integer Programming in OPL. |
INFORMS J. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
30 | J. N. Floyer |
Comment on Johnston (2000): Commentary on Burgin and Wild (1967): Stock control - experience and usable theory. J Opl Res Soc 51: 1111. |
J. Oper. Res. Soc. |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Suresh K. Goyal |
Optimal production stopping and restarting times for an EOQ model with deteriorating items. A commentary on Yan and Cheng (1998). J Opl Res Soc 49: 1288-1295. |
J. Oper. Res. Soc. |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Mohamad Y. Jaber, Maurice Bonney |
A comment on Zhou YW and Lau H-S (1998). Optimal production lot sizing model considering the bounded learning case and shortages backordered. J Opl Res Soc 49: 1206-1211. |
J. Oper. Res. Soc. |
2001 |
DBLP DOI BibTeX RDF |
|
30 | I. Munro |
A contibution to the Ormerod/Jackson debate. J Opl Res Soc 51: 882-886JORS wars: a step into no mans land. |
J. Oper. Res. Soc. |
2001 |
DBLP DOI BibTeX RDF |
|
30 | S.-P. Wang |
A note on Chang H-J and Dye C-Y (1999). An EOQ model for deteriorating items with time varying demand and partial backlogging. J Opl Res Soc 50: 1176-1182. |
J. Oper. Res. Soc. |
2001 |
DBLP DOI BibTeX RDF |
|
30 | R. Ganeshan |
A comment on: Geetha K K and Archary K K (2000)Are more suppliers better?: generalizing the Guo and Ganeshan procedure. J Opl Res Soc 51: 1179-1183. |
J. Oper. Res. Soc. |
2001 |
DBLP DOI BibTeX RDF |
|
30 | S. Sinha |
A comment on Anandalingam (1988). A mathematical programming model of decentralized multi-level systems. J Opl Res Soc 39: 1021-1033. |
J. Oper. Res. Soc. |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Christiane Bracchi, Christophe Gefflot, Frederic Paulin |
Combining Propagation Information and Search Tree Visualization using ILOG OPL Studio. |
WLPE |
2001 |
DBLP BibTeX RDF |
|
30 | Pascal Van Hentenryck, Laurent Perron, Jean-Francois Puget |
Search and strategies in OPL. |
ACM Trans. Comput. Log. |
2000 |
DBLP DOI BibTeX RDF |
search, combinatorial optimization, constraint programming, modeling languages |
30 | Graham Rand |
'The solution of massive generalized set partitioning problems in aircrew rostering' D M Ryan (1992). J. Opl Res Soc 43(5): 459-467. |
J. Oper. Res. Soc. |
2000 |
DBLP DOI BibTeX RDF |
|
30 | C. J. L. Yewlett |
A Commentary on: Stringer J (1967) Operational research for "multi-organisations" Opl Res Q., 18: 105-120. |
J. Oper. Res. Soc. |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Pascal Van Hentenryck |
A Preview of OPL. |
PACPL |
2000 |
DBLP BibTeX RDF |
|
30 | Pascal Van Hentenryck, Laurent Michel |
OPL Script: Composing and Controlling Models. |
New Trends in Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Pascal Van Hentenryck, Laurent Michel, Laurent Perron, Jean-Charles Régin |
Constraint Programming in OPL. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Pascal Van Hentenryck, Laurent Michel, Philippe Laborie, Wim Nuijten, Jerome Rogerie |
Combinatorial Optimization in OPL Studio. |
EPIA |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Sergio Greco, Cristian Molinaro, Irina Trubitsyna |
Implementation and Experimentation of the Logic Language NP Datalog. |
DEXA |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Sergio Greco, Irina Trubitsyna, Ester Zumpano |
NP Datalog: A Logic Language for NP Search and Optimization Queries. |
IDEAS |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Sheng Sun, Yi Han, Xinyu Guo, Kian Haur Chong, Larry McMurchie, Carl Sechen |
409ps 4.7 FO4 64b Adder Based on Output Prediction Logic in 0.18um CMOS. |
ISVLSI |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Garret Swart, Benjamin Aziz, Simon N. Foley, John Herbert |
Trading Off Security in a Service Oriented Architecture. |
DBSec |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Toni Mancini, Marco Cadoli |
Detecting and Breaking Symmetries by Reasoning on Problem Specifications. |
SARA |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Marc R. C. van Dongen |
Computing the Frequency of Partial Orders. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #40 of 40 (100 per page; Change: )
|
|