Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
39 | Matthew M. Ziegler, Gary S. Ditlow, Stephen V. Kosonocky, Zhenyu Qi, Mircea R. Stan |
Structured and tuned array generation (STAG) for high-performance random logic. |
ACM Great Lakes Symposium on VLSI |
2007 |
DBLP DOI BibTeX RDF |
programmable logic arrays (PLAs), design automation |
39 | Jacinto A. Dávila |
ACTILOG: An Agent Activation Language. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Malik Zawwar Hussain, Muhammad Sarfraz 0001, Madiha Amjad, Misbah Irshad |
Rational Bi-cubic Functions Preserving 3D Positive Data. |
CGIV |
2011 |
DBLP DOI BibTeX RDF |
Rational Bi-cubic functios, Free parameters, 3D posiive data, Contraints, Visualization |
31 | Fermín Sánchez |
Time-Constrained Loop Pipelining. |
ICCAD |
1995 |
DBLP DOI BibTeX RDF |
timing and resource contraints, register optimization, scheduling, loop pipelining |
31 | Ronen Barzel, Alan H. Barr |
A modeling system based on dynamic constraints. |
SIGGRAPH |
1988 |
DBLP DOI BibTeX RDF |
contraints, simulation, modeling, dynamics |
26 | Trifun Savic |
Localization in Constrained Environments. (Localisation en environnements contraints). |
|
2023 |
RDF |
|
26 | Georges Aazan |
Stability of constrained switched systems driven by ω-regular languages. (Stabilité des systèmes commutés contraints par des langages ω-réguliers). |
|
2023 |
RDF |
|
26 | Jean-Romain Luttringer |
Path computation algorithms in IP networks: reliable hot-potato routing & deployable multi-constrained tunnels. (Calcul de chemins pour réseaux IP: routage de la patate chaude et froide lors de pannes & chemins multi-contraints pour segment routing). |
|
2022 |
RDF |
|
26 | Nicolas Dejon |
Design of a secure kernel for constrained devices. (Conception d'un noyau sécurisé pour objets contraints). |
|
2022 |
RDF |
|
26 | Michel Bakni |
Multidimensional cross-level tool for Wireless Sensor Networks constrained by energy. (Outil de dimensionnement trans-niveaux de réseaux de capteurs sans fil contraints en énergie). |
|
2021 |
RDF |
|
26 | Marianne Souaiby |
Lyapunov Functions and Ensemble Approximations for Constrained Systems using Semidefinite Programming. (Fonctions de Lyapunov et approximations d'ensemble pour les systèmes contraints utilisant la programmation semi-définie). |
|
2021 |
RDF |
|
26 | Raouf Kerkouche |
Differentially Private Federated Learning for Bandwidth and Energy Constrained Environments. (Apprentissage fédéré avec confidentialité différentielle pour les environnements contraints en bande passante et énergie). |
|
2021 |
RDF |
|
26 | Artur Banach, Konrad Leibrandt, Maria Grammatikopoulou, Guang-Zhong Yang |
Active Contraints for Tool-Shaft Collision Avoidance in Minimally Invasive Surgery. |
ICRA |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Loïc Ferreira |
Tunnels sécurisés pour environnements contraints. (Secure Tunnels for Constrained Environments). |
|
2019 |
RDF |
|
26 | Pierre Fernbach |
Modèles réduits fiables et efficaces pour la planification et l'optimisation de mouvement des robots à pattes en environnements contraints. (Efficient and accurate reduced models for motion planning and optimization for legged robots in constrained environments). |
|
2018 |
RDF |
|
26 | Nadir Cherifi |
Assistance au développement de logiciels embarqués contraints en énergie. (Support for the Development of Energy-Constrained Embedded Software). |
|
2018 |
RDF |
|
26 | Ariyattu C. Resmi |
Towards federated social infrastructures for plug-based decentralized social networks. (Vers des infrastructures sociales fédérées pour des réseaux sociaux décentralisés à base d'ordinateurs contraints). |
|
2017 |
RDF |
|
26 | Julien Savaux |
Privacy in distributed constrained problems for utility-based agents. (Privacité dans les problèmes distribués contraints pour agents basés utilité). |
|
2017 |
RDF |
|
26 | Romain Favraud |
Self-meshed autonomous LTE/LTE-A radio access network for constrained environments. (Réseau d'accès radio LTE/LTE-A autonome et maillé pour environnements contraints). |
|
2017 |
RDF |
|
26 | Rémy Léone |
Passerelle intelligente pour réseaux de capteurs sans fil contraints. (Smart gateway for low-power and lossy networks). |
|
2016 |
RDF |
|
26 | Salma Moujtahid |
Exploiting scene context for on-line object tracking in unconstrained environments. (Exploitation du contexte de scène pour le suivi d'objet en ligne dans des environnements non contraints). |
|
2016 |
RDF |
|
26 | Gil Gaullier, Pierre Charbonnier, Fabrice Heitz, Philippe Côté |
Modèles déformables contraints en reconstruction tomographique par temps de première arrivée. |
Traitement du Signal |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Daniel Hernández García, Concepción Alicia Monje Micharet, Carlos Balaguer |
Adaptation of Robot Skills Models to New Task Contraints. |
Int. J. Humanoid Robotics |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Steve Tonneau |
Motion planning and synthesis for virtual characters in constrained environments. (Synthèse de mouvement pour des personnages virtuels en environnements contraints). |
|
2015 |
RDF |
|
26 | Guillaume Artero Gallardo |
Quality of service in heterogeneous mobile constrained networks. (Qualité de service dans des environnements réseaux mobiles, contraints et hétérogènes). |
|
2015 |
RDF |
|
26 | Michaël Hauspie |
Élements de conception de systèmes embarqués fortement contraints. (Methods and tools for the design of embedded software for highly constrained device). |
|
2014 |
RDF |
|
26 | Xing Liu 0002 |
Hybrid real-time operating system integrated with middleware for resource-constrained wireless sensor nodes. (Système d'exploitation temps-réel hybride intégré avec un middelware pour les noeuds capteurs sans fil contraints en ressources). |
|
2014 |
RDF |
|
26 | Gil Gaullier |
Modèles déformables contraints en reconstruction d'images de tomographie non linéaire par temps d'arrivée. (Constrained deformable models for non linear first time arrival tomographic data reconstruction). |
|
2013 |
RDF |
|
26 | Adel Ziani |
Modeling of Secure Dependable (S&D) applications based on patterns for Resource-Constrained Embedded Systems (RCES). (Modélisation des applications "sécurisées et sûres" (S&D) à base de patrons pour des systèmes embarqués contraints en ressources (RCES)). |
|
2013 |
RDF |
|
26 | Ricardo-Antonio Salido-Ruiz |
Problèmes inverses contraints en EEG : applications aux potentiels absolus et à l'influence du signal de référence dans l'analyse de l'EEG. (Problems constrained inverses in EEG: application of the the absolute potentials and the influence of the signal of reference in the analysis of the EEG). |
|
2012 |
RDF |
|
26 | Simon Thomas 0002 |
Extraction d'information dans des documents manuscrits non contraints : application au traitement automatique des courriers entrants manuscrits. (Information extraction in unconstrained handwritten documents: application to automatic processing of handwritten incoming mail). |
|
2012 |
RDF |
|
26 | Amira Ben Hamida, Frédéric Le Mouël, Stéphane Frénot, Mohamed Ben Ahmed |
Dploiement adaptatif dapplications orientes services sur environnements contraints. |
Tech. Sci. Informatiques |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Florent Montreuil, Stéphane Nicolas, Laurent Heutte, Emmanuèle Grosicki |
Intégration d'informations textuelles de haut niveau en analyse de structures de documents manuscrits non contraints. |
Document Numérique |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Khalil Ghorbal |
Static Analysis of Numerical Programs: Constrained Affine Sets Abstract Domain. (Analyse Statique de Programmes Numériques: Ensembles Affines Contraints). |
|
2011 |
RDF |
|
26 | Jérémie Vautard |
Modélisation et résolution de problèmes de décision et d'optimisation hiérarchiques en utilisant des contraintes quantifiées. (Decision and hierarchical optimisation problem modeling and solving by use of quantified contraints). |
|
2010 |
RDF |
|
26 | Edwin Lughofer, Stefan Kindermann 0001 |
Rule Weight Optimization and Feature Selection in Fuzzy Systems with Sparsity Contraints. |
IFSA/EUSFLAT Conf. |
2009 |
DBLP BibTeX RDF |
|
26 | Maxime Feraille |
Etude du Transport dans les Transistors MOSFETs Contraints: Modélisation Multi-échelle. (Study of Transport Properties in Strained transistors MOSFETs: Multi-scale Approach). |
|
2009 |
RDF |
|
26 | Christine Louberry, Marc Dalmau, Philippe Roose |
Intégration de périphériques contraints par reconfiguration dynamique d'applications. Cas des capteurs sans-fil. |
Ingénierie des Systèmes d Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Ralf Gollmer, Uwe Gotzes, Frederike Neise, Rüdiger Schultz |
Stochastic programs with dominance contraints induced by mixed-integer linear recourse. |
CTW |
2007 |
DBLP BibTeX RDF |
|
26 | Tao Wan, Karine Zeitouni |
Vers un entrepôt d'objets mobiles contraints par le réseau. |
INFORSID |
2006 |
DBLP BibTeX RDF |
|
26 | Thomas Bonald |
Throughput Performance in Networks with Linear Capacity Contraints. |
CISS |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Grégoire Dooms, Yves Deville, Pierre Dupont |
Recherche de chemins contraints dans les réseaux biochimiques. |
JFPLC |
2004 |
DBLP BibTeX RDF |
|
26 | Marc Salvati, Benoît Le Callennec, Ronan Boulic |
A Generic Method for Geometric Contraints Detection. |
Eurographics (Short Presentations) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | John M. Prager, Jennifer Chu-Carroll, Krzysztof Czuba |
Question Answering Using Constraint Satisfaction: QA-By-Dossier-With-Contraints. |
ACL |
2004 |
DBLP BibTeX RDF |
|
26 | Alain Casali, Rosine Cicchetti, Lotfi Lakhal |
Treillis cubes contraints pour la fouille de bases de données multidimensionnelles. |
Tech. Sci. Informatiques |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Irene Degirmenciyan-Cartault, Amal El Fallah Seghrouchni, Frédéric Marc |
Modélisation et synchronisation de plans multi-agents contraints Application aux missions aériennes. |
Tech. Sci. Informatiques |
2003 |
DBLP BibTeX RDF |
|
26 | Hunor Albert-Lorincz, Jean-François Boulicaut |
Mining Frequent Sequential Patterns under Regular Expressions: A Highly Adaptive Strategy for Pushing Contraints. |
SDM |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Nikolay N. Ponomarenko, Vladimir V. Lukin, Karen O. Egiazarian, Jaakko T. Astola |
Digital elevation map reconstruction from isogram map using iterative DCT algorithm with nonlinear contraints. |
Image Processing: Algorithms and Systems |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Takayasu Ito, Toshihiro Moriya |
KRS-FZ: A Knowledge Representation System with Fuzzy Contraints. |
IC-AI |
2002 |
DBLP BibTeX RDF |
|
26 | Frédéric Grognard |
Control of constrained systems: closed-loop, open-loop, and hybrid solutions. (Commande de systèmes contraints: boucle fermée, boucle ouverte et solutions hybrides). |
|
2001 |
RDF |
|
26 | Michel-Ange Amorim, Ben Trumbore, Pema L. Chogyen |
Cognitive Repositioning inside a 'Desktop' VE: The Contraints; Introduced by First- vs. Third-Person Imagery and Mental Representation Richness. |
Presence Teleoperators Virtual Environ. |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Krzysztof R. Apt, Antonis C. Kakas, Éric Monfroy, Francesca Rossi 0001 (eds.) |
New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers |
New Trends in Constraints |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Martin Löwendick |
On smoothing under bounds and geometric contraints (Glättung unter Einhaltung von Grenzen und Formvorgaben) |
|
1999 |
RDF |
|
26 | Francesca Rossi 0001 |
Constraint (Logic) Programming: A Survey on Research and Applications. |
New Trends in Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Roman Barták |
Dynamic Constraint Models for Planning and Scheduling Problems. |
New Trends in Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Reem Bahgat, Samir E. AbdelRahman |
Combining Constraint Logic Programming Techniques for Solving Linear Problems. |
New Trends in Constraints |
1999 |
DBLP DOI BibTeX RDF |
Interval Reasoning, Domain Splitting, Simplex-Like Solver, Constraint Logic Programming |
26 | Krzysztof R. Apt |
Some Remarks on Boolean Constraint Propagation. |
New Trends in Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Thom W. Frühwirth |
Proving Termination of Constraint Solver Programs. |
New Trends in Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Alessandra Di Pierro, Herbert Wiklicky |
Quantitative Observables and Averages in Probabilistic Constraint Programming. |
New Trends in Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Armin Wolf |
Projection in Adaptive Constraint Handling. |
New Trends in Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Pascal Van Hentenryck, Laurent Michel |
OPL Script: Composing and Controlling Models. |
New Trends in Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Marius-Calin Silaghi, Djamila Sam-Haroud, Boi Faltings |
Ways of Maintaining Arc Consistency in Search Using the Cartesian Representation. |
New Trends in Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Ian P. Gent, Kostas Stergiou 0001, Toby Walsh |
Decomposable Constraints. |
New Trends in Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Philippe Codognet |
A Constraint-Based Language for Virtual Agents. |
New Trends in Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Frédéric Benhamou, Laurent Granvilliers, Frédéric Goualard |
Interval Constraints: Results and Perspectives. |
New Trends in Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Hubert Dubois, Hélène Kirchner |
Rule Based Programming with Constraints and Strategies. |
New Trends in Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi 0001 |
Abstracting Soft Constraints. |
New Trends in Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Christophe Ringeissen, Éric Monfroy |
Generating Propagation Rules for Finite Domains: A Mixed Approach. |
New Trends in Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Henk Vandecasteele, Bart Demoen, Gerda Janssens |
A Finite Domain CLP Solver on Top of Mercury. |
New Trends in Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
26 | W. Kwon, Bum Hee Lee, Wook Hyun Kwon, Myoung Hwan Choi, S. H. Lee |
Redundancy Optimization for Cooperating Manipulators Using Quadratic inequality Contraints. |
ICRA |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Cécile Capponi, Jérôme Gensel |
Typage souple pour objets contraints. |
LMO |
1997 |
DBLP BibTeX RDF |
|
26 | Johan Montagnat |
Segmentation d'image médicales volumiques à l'aide de maillages déformables contraints. (Medical images segmentation using constrained deformable models). |
|
1996 |
RDF |
|
26 | Anne Lapujade |
Contraints, Rules and Modelisation in a Meta-CASE Tool. |
SEKE |
1995 |
DBLP BibTeX RDF |
|
26 | Anna Formica, Michele Missikoff |
Modeling Semantic Interity Contraints in Object-Oriented Database Schemas. |
LOGIDATA+: Deductive Databases with Complex Objects |
1993 |
DBLP DOI BibTeX RDF |
|
26 | J. F. A. Spangenberg, B. Breemhaar, F. J. N. Nijhuis, W. Alfenaar |
Some incentives and contraints of scientific performance in economics - Part II. Validity and sensitivity analysis. |
Scientometrics |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Carlos A. Heuser, Gernot Richter |
On the Relationship between Conceptual Schemata and Integrity Contraints on Databases. |
DS-1 |
1985 |
DBLP BibTeX RDF |
|
26 | Masahiro Nakazawa, Michio Isoda, Jun Miyazaki, Hideo Aiso |
MILK: Multi Level Interactive Logic Simulator at Keio University: Experience in Using the Contraints Language. |
Expert Database Workshop |
1984 |
DBLP BibTeX RDF |
|
26 | Ana Maria Sales |
Types abstraits et bases de données : formalisation de la notion de partage et analyse statique des contraintes d'intégrité. (Abstract data types and databases: formalization of the notion of partition and static analysis of integrity contraints). |
|
1984 |
RDF |
|
19 | Andreas Nürnberger, Sebastian Stober |
User Modelling for Interactive User-Adaptive Collection Structuring. |
Adaptive Multimedia Retrieval |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Rajdeep K. Dash, Enrico H. Gerding, Nicholas R. Jennings |
Optimal Financially Constrained Bidding in Multiple Simultaneous Auctions. |
Negotiation, Auctions, and Market Engineering |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Mehran Ebrahimi, Edward R. Vrscay |
Fractal Image Coding as Projections Onto Convex Sets. |
ICIAR (1) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Juho Kannala, Esa Rahtu, Janne Heikkilä, Mikko Salo |
A New Method for Affine Registration of Images and Point Sets. |
SCIA |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Jean-Philippe Georges, Thierry Divoux, Eric Rondeau |
Strict Priority versus Weighted Fair Queueing in Switched Ethernet Networks for Time Critical Applications. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Karl F. Doerner, Walter J. Gutjahr, Richard F. Hartl, Christine Strauss, Christian Stummer |
Pareto Ant Colony Optimization: A Metaheuristic Approach to Multiobjective Portfolio Selection. |
Ann. Oper. Res. |
2004 |
DBLP DOI BibTeX RDF |
genetic algorithms, simulated annealing, ant colony optimization, portfolio selection, multiobjective combinatorial optimization |
19 | Jessica Paradise, Elizabeth D. Mynatt, Cliff Williams, John Goldthwaite |
Designing a cognitive aid for the home: a case-study approach. |
ASSETS |
2004 |
DBLP DOI BibTeX RDF |
traumatic brain injury, case study, home, cognitive impairment, pacing |
19 | Harry M. Sneed |
Testing a Web Application. |
WSE |
2004 |
DBLP DOI BibTeX RDF |
Web Applications, Evolution, Regression Testing, Assertions, File Comparison |
19 | Jan-Michael Frahm, Reinhard Koch |
Robust Camera Calibration from Images and Rotation Data. |
DAGM-Symposium |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Luigi Di Stefano, Massimiliano Marchionni, Stefano Mattoccia, Giovanni Neri |
Dense Stereo Based on the Uniqueness Constraint. |
ICPR (3) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Jeanne Villaneau, Jean-Yves Antoine, Olivier Ridoux |
Combining Syntax and Pragmatic Knowledge for the Understanding of Spontaneous Spoken Sentences. |
LACL |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Evripidis Bampis, Rodolphe Giroudeau, Alexander V. Kononov |
Scheduling tasks with small communication delays for clusters of processors. |
SPAA |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Gail-Joon Ahn, Ravi S. Sandhu |
Role-based authorization constraints specification. |
ACM Trans. Inf. Syst. Secur. |
2000 |
DBLP DOI BibTeX RDF |
role-based access control, access control models, authorization constraints, constraints specification |
19 | Koen van Eijk, Bart Mesman, Carlos A. Alba Pinto, Qin Zhao, Marco Bekooij, Jef L. van Meerbergen, Jochen A. G. Jess |
Constraint analysis for code generation: basic techniques and applications in FACTS. |
ACM Trans. Design Autom. Electr. Syst. |
2000 |
DBLP DOI BibTeX RDF |
foreground memory, phase coupling, scheduling, DSP, constraint analysis, register binding |
19 | José Júlio Alferes, Luís Moniz Pereira |
Contradiction: When Avoidance Equals Removal - Part II. |
ELP |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Kok-Phuang Tan, T. C. Tan |
An Improved Join Dependency for Efficient Constraint Checking. |
ICCI |
1991 |
DBLP DOI BibTeX RDF |
Database design, join dependency, constraint checking |
19 | Daniel Weise |
Constraints, Abstraction and Verification. |
Hardware Specification, Verification and Synthesis |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Roger D. Hersch |
Character generation under grid constraints. |
SIGGRAPH |
1987 |
DBLP DOI BibTeX RDF |
|
19 | Joaquim Gabarró |
Pushdown Space Complexity and Related Full-AFLs. |
STACS |
1984 |
DBLP DOI BibTeX RDF |
|
19 | Michael J. Fischer, Alan Michael |
Sacrificing Serializability to Attain High Availability of Data. |
PODS |
1982 |
DBLP DOI BibTeX RDF |
|