|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6898 occurrences of 3643 keywords
|
|
|
Results
Found 15672 publication records. Showing 15672 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
27 | Josef Slapal |
F-Net Convergence with Respect to a Closure Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 13(1), pp. 49-64, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
convergence structure, compactness, separation, net, closure operator, neighborhood |
27 | Narasimhan Ramasubramanian, Ram Subramanian, Santosh Pande |
Automatic Compilation of Loops to Exploit Operator Parallelism on Configurable Arithmetic Logic Units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 13(1), pp. 45-66, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
operator parallelism, FPGAs, parallel computing, Compilers, loop transformation, reconfigurable systems |
27 | Sandhya Seshadri, Michael S. Hsiao |
Behavioral-Level DFT via Formal Operator Testability Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 18(6), pp. 595-611, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
behavioral level, operator testability, value range, SSA representation, DFT |
27 | Maria Manuel Clementino, Eraldo Giuli, Walter Tholen |
What is a Quotient Map with Respect to a Closure Operator? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(2), pp. 139-151, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
c-initial morphism, c-final morphism, c-quotient, Whitehead's Theorem, closure operator |
27 | Xiaochun Cheng, Haihong Dai |
Operator Fuzzy Logic Based on Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (5) ![In: Thirty-First Annual Hawaii International Conference on System Sciences, Kohala Coast, Hawaii, USA, January 6-9, 1998, pp. 215-222, 1998, IEEE Computer Society, 0-8186-8255-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Operator Fuzzy Logic, argumentation, conflict resolution, nonmonotonic reasoning, Horn clause |
27 | Fabrizio Russo 0001, Giovanni Ramponi |
An image enhancement technique based on the FIRE operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 155-158, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
image enhancement technique, FIRE operator, fuzzy logic approach, fuzzy inference ruled by else-action, nonlinear operators, image data processing, smoothing rules, sharpening rules, very small rulebase, performance, fuzzy logic, image enhancement, inference mechanisms, image quality, fuzzy rules, smoothing methods |
27 | Xin Feng, Minyong Shi |
Surface representation and processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the 8th IEEE International Conference on Cognitive Informatics, ICCI 2009, June 15-17, 2009, Hong Kong, China, pp. 542-545, 2009, IEEE Computer Society, 978-1-4244-4642-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | C. J. van Rijsbergen |
Quantum haystacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2006: Proceedings of the 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Seattle, Washington, USA, August 6-11, 2006, pp. 1-2, 2006, ACM, 1-59593-369-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Lourdes Peña Castillo, Stefan Wrobel |
Macro-Operators in Multirelational Learning: A Search-Space Reduction Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML 2002, 13th European Conference on Machine Learning, Helsinki, Finland, August 19-23, 2002, Proceedings, pp. 357-368, 2002, Springer, 3-540-44036-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Xing Qiao, Zhaoxing Li, Dan Ma |
Exponential Asymptotic Stability of a Two-Unit Standby Redundant Electronic Equipment System under Human Failure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part I, pp. 244-252, 2009, Springer, 978-3-642-01506-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Exponential asymptotic stability, Quasi-compact operator, c 0-semigroup, Electronic equipment system |
26 | Zhihong Mao, Lizhuang Ma, Mingxi Zhao, XueZhong Xiao |
SUSAN structure preserving filtering for mesh denoising. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 22(4), pp. 276-284, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Feature preserving smoothing, SUSAN operator, Mesh processing, Laplacian smoothing, Mesh denoising |
26 | Patricia Bouyer |
Forward Analysis of Updatable Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 24(3), pp. 281-320, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
(updatable) timed automata, forward analysis algorithm, widening operator, data structure, correctness |
26 | Nicholas J. Daras |
Generalized Padé-Type Approximation and Integral Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 18(1), pp. 1-39, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
generalized Padé-type approximant, Bergman kernel, integral representation, self-summable countable orthonormal set in a Hilbert space, bianalytic map, Fourier series, integral operator |
26 | Xing-Jin Sun, Guang-Yi Cao, Xin-Jian Zhu |
A Novel Genetic Algorithm and its Application in Fuzzy Variable Structure Control of Fuel Cell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 31(1-3), pp. 299-316, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
ranking genetic algorithm, improved crossover operator, molten carbonate fuel cell (MCFC) |
26 | Henk J. A. M. Heijmans |
Connected Morphological Operators and filters for Binary Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 211-214, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
connected morphological operators, connected morphological filters, flat zones, connected regions, grey-level, background grains, foreground grains, grain operator, grain criteria, image processing, binary images |
26 | Ralph Acker, Christian Roth, Rudolf Bayer |
Parallel Query Processing in Databases on Multicore Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA3PP ![In: Algorithms and Architectures for Parallel Processing, 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008, Proceedings, pp. 2-13, 2008, Springer, 978-3-540-69500-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
relational dbms, intra-operator, inter-operator, scheduling, optimization, encapsulation, parallel query processing |
26 | Liepa Bikulciené, Zenonas Navickas |
Expressions of Solutions of Linear Partial Differential Equations Using Algebraic Operators and Algebraic Convolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NAA ![In: Numerical Analysis and Its Applications, 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papers, pp. 208-215, 2008, Springer, 978-3-642-00463-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Cauchy problem, perfect operator, algebraic convolution, Appell polynomials, Algebraic operator |
26 | Gilles Blanchard, Olivier Bousquet, Laurent Zwald |
Statistical properties of kernel principal component analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 66(2-3), pp. 259-294, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Fast convergence rates, Kernel spectrum estimation, Covariance operator, Kernel integral operator, Kernel principal components analysis |
26 | Joseph Dunn, Sean Davey, Anne Descour, Richard T. Snodgrass |
Sequenced Subset Operators: Definition and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 18th International Conference on Data Engineering, San Jose, CA, USA, February 26 - March 1, 2002, pp. 81-92, 2002, IEEE Computer Society, 0-7695-1531-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
sequenced operator, anti-semi-join, validity period, . algebraic operator implementation, temporal query language |
26 | Bob Fields, Peter C. Wright, Michael D. Harrison |
A task centered approach to analysing human error tolerance requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: Second IEEE International Symposium on Requirements Engineering, March 27 - 29, 1995, York, England, UK, pp. 18-26, 1995, IEEE Computer Society, 0-8186-7017-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
task centered approach, human error tolerance requirements, human operators, operator tasks, software engineering notation, structured tasks, human error forms, formal specification, software development, human factors, systems engineering, user centred design, safety critical systems, task analysis, safety-critical software, operator models, system safety |
24 | Itaï Ben Yaacov |
Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras I: stability. Bulletin of the London Mathematical Society, vol. 45 (2013), no. 4, pp. 825-838, doi:10.1112/blms/bdt014. - Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras II: model theory. Israel Journal of Mathematics, vol. 201 (2014), no. 1, pp. 477-505, doi:10.1007/s11856-014-1046-7. - Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras III: elementary equivalence and II1factors. Bulletin of the London Mathematical Society, vol. 46 (2014), no. 3, pp. 609-628, doi:10.1112/blms/bdu012. - Isaac Goldbring, Bradd Hart, and Thomas Sinclair. The theory of tracial von Neumann algebras does not have a model companion. Journal of Symbolic Logic, vol. 78 (2013), no. 3, pp. 1000-1004. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 21(4), pp. 425-427, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Hélène Le Cadre, Mustapha Bouhtou, Bruno Tuffin |
A Pricing Model for a Mobile Network Operator Sharing Limited Resource with a Mobile Virtual Network Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICQT ![In: Network Economics for Next Generation Networks, 6th International Workshop on Internet Charging and Qos Technologies, ICQT 2009, Aachen, Germany, May 11-15, 2009. Proceedings, pp. 24-35, 2009, Springer, 978-3-642-01795-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | John C. Stewien, Timothy L. J. Ferris |
The asterisk operator. An edge detection operator addressing the problem of clean edges in bone X-ray images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based Intelligent Electronic Systems, 2nd International Conference, KES 1998, Adelaide, South Australia, 21-23 April 1998, Proceedings, Part III, pp. 28-31, 1998, IEEE. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Owe Axelsson, János Karátson |
Equivalent operator preconditioning for elliptic problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 50(3), pp. 297-380, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Equivalent operators, Compact operators, Preconditioning, Conjugate gradient method, Elliptic problem |
23 | Cali M. Fidopiastis, Julie M. Drexler, Daniel J. Barber, Keryl Cosenzo, Michael J. Barnes, Jessie Y. C. Chen, Denise M. Nicholson |
Impact of Automation and Task Load on Unmanned System Operator's Eye Movement Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (16) ![In: Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience, 5th International Conference, FAC 2009 Held as Part of HCI International 2009 San Diego, CA, USA, July 19-24, 2009, Proceedings, pp. 229-238, 2009, Springer, 978-3-642-02811-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Unmanned Ground Systems, Eye Tracking, Workload, Adaptive Automation |
23 | Sylvie Alayrangues, Samuel Peltier, Guillaume Damiand, Pascal Lienhardt |
Border Operator for Generalized Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 15th IAPR International Conference, DGCI 2009, Montréal, Canada, September 30 - October 2, 2009. Proceedings, pp. 300-312, 2009, Springer, 978-3-642-04396-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Célia da Costa Pereira, Mauro Dragoni, Gabriella Pasi |
A Prioritized "And" Aggregation Operator for Multidimensional Relevance Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 2009: Emergent Perspectives in Artificial Intelligence, XIth International Conference of the Italian Association for Artificial Intelligence, Reggio Emilia, Italy, December 9-12, 2009, Proceedings, pp. 72-81, 2009, Springer, 978-3-642-10290-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Álvaro Fialho, Luís Da Costa, Marc Schoenauer, Michèle Sebag |
Extreme Value Based Adaptive Operator Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN X, 10th International Conference Dortmund, Germany, September 13-17, 2008, Proceedings, pp. 175-184, 2008, Springer, 978-3-540-87699-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Beibei Wang 0001, Chia-Chin Chong, Fujio Watanabe, K. J. Ray Liu |
Dynamic Frequency-Intelligent Reserve-and-Switch Technique (D-FIRST) to Combat Inter-Operator Interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2008, Beijing, China, 19-23 May 2008, pp. 4003-4008, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Takafumi Nakanishi, Koji Zettsu, Yutaka Kidawara, Yasushi Kiyoki |
A Vector Space Model on Hierarchical Structures with Dynamic Mapping Operator Creation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence/IAT Workshops ![In: Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, 9-12 December 2008, Sydney, NSW, Australia, pp. 45-49, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Tsuyoshi Ito, Hirotada Kobayashi, Daniel Preda, Xiaoming Sun 0001, Andrew Chi-Chih Yao |
Generalized Tsirelson Inequalities, Commuting-Operator Provers, and Multi-prover Interactive Proof Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the 23rd Annual IEEE Conference on Computational Complexity, CCC 2008, 23-26 June 2008, College Park, Maryland, USA, pp. 187-198, 2008, IEEE Computer Society, 978-0-7695-3169-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
multi-prover interactive proof systems, quantum nonlocality, Tsirelson inequality, entanglement |
23 | Ee Sian Neo, Kazuhito Yokoi, Shuuji Kajita, Kazuo Tanie |
Whole-Body Motion Generation Integrating Operator's Intention and Robot's Autonomy in Controlling Humanoid Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics ![In: IEEE Trans. Robotics 23(4), pp. 763-775, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Simon M. Lucas |
A statistically aligned recombination operator for finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 4554-4560, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | George G. Mitchell, Barry McMullin, James Decraene |
A cost benefit operator for efficient multi level genetic algorithm searches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 1344-1350, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Steven Orla Kimbrough, David Harlan Wood |
On gray-coded binary representation for supporting a (repair-by-interpolation) genetic operator for constrained Optimization Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 1141-1148, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Mukesh M. Raghuwanshi, O. G. Kakde |
Study of Operator's adaptability and scale-up study for RAGA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 2866-2871, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Yu-Hsin Liu, Rong-Chang Jou, Cheng-Chieh Wang, Ching-Shu Chiu |
An Evolutionary Algorithm with Diversified Crossover Operator for the Heterogeneous Probabilistic TSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDAI ![In: Modeling Decisions for Artificial Intelligence, 4th International Conference, MDAI 2007, Kitakyushu, Japan, August 16-18, 2007, Proceedings, pp. 351-360, 2007, Springer, 978-3-540-73728-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Manuel E. Gegúndez, Pablo Palacios, José Luis Álvarez |
A New Self-adaptative Crossover Operator for Real-Coded Evolutionary Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANNGA (1) ![In: Adaptive and Natural Computing Algorithms, 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I, pp. 39-48, 2007, Springer, 978-3-540-71589-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Hiroshi Igarashi |
Human adaptive assist planning without operator awareness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007, pp. 2933-2938, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Keith Mason, Catherine Howard, Jeff Sturm, Craig Keogh |
An assessment of the impact of ELEXSA visualizations on operator situation awareness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OZCHI ![In: Proceedings of the 2007 Australasian Computer-Human Interaction Conference, OZCHI 2007, Adelaide, Australia, November 28-30, 2007, pp. 131-137, 2007, ACM, 978-1-59593-872-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
applications of information visualization, information visualization |
23 | Anna Deytseva |
On the Representation of the Differential Operator in Bases of Periodic Coiflets and It's Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings, pp. 448-457, 2007, Springer, 978-3-540-75186-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Maciej Majewski, Wojciech Kacalak |
Intelligent Two-Way Speech Communication System Between the Technological Device and the Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part III, pp. 930-936, 2005, Springer, 3-540-28896-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Stefan Strubbe, Rom Langerak |
A Composition Operator for Systems with Active and Passive Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings, pp. 24-37, 2005, Springer, 3-540-29189-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
supervisory control, Compositional modelling |
23 | Dennis Pedersen, Torben Bach Pedersen, Karsten Riis |
The Decoration Operator: A Foundation for On-Line Dimensional Data Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 8th International Database Engineering and Applications Symposium (IDEAS 2004), 7-9 July 2004, Coimbra, Portugal, pp. 357-366, 2004, IEEE Computer Society, 0-7695-2168-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Sang-Moon Soak, Byung-Ha Ahn |
New Genetic Crossover Operator for the TSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAISC ![In: Artificial Intelligence and Soft Computing - ICAISC 2004, 7th International Conference, Zakopane, Poland, June 7-11, 2004, Proceedings, pp. 480-485, 2004, Springer, 3-540-22123-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Robert Jeansoulin, Éric Würbel |
An anytime revision operator for large and uncertain geographic data sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 7(6), pp. 386-393, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Geomatics, Geographic information systems, Belief revision, Approximate reasoning, Spatial constraints, Non-classical logics |
23 | Sang-Moon Soak, Byung-Ha Ahn |
New Subtour-Based Crossover Operator for the TSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part II, pp. 1610-1611, 2003, Springer, 3-540-40603-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Ying-Ping Chen, David E. Goldberg |
An Analysis of a Reordering Operator with Tournament Selection on a GA-Hard Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part I, pp. 825-836, 2003, Springer, 3-540-40602-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Scott Dick, Wladimir Rodriguez, Abraham Kandel |
A granular counterpart to the gradient operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 6(2), pp. 124-140, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Linguistic gradient, Granular computing, Qualitative reasoning, Computing with words, Linguistic variables |
23 | Shurug Al-Khalifa, H. V. Jagadish |
Multi-level operator combination in XML query processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2002 ACM CIKM International Conference on Information and Knowledge Management, McLean, VA, USA, November 4-9, 2002, pp. 134-141, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
XML, query processing |
23 | René Thomsen, Thiemo Krink |
Self-adaptive Operator Scheduling Using the Religion-Based EA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN VII, 7th International Conference, Granada, Spain, September 7-11, 2002, Proceedings, pp. 214-223, 2002, Springer, 3-540-44139-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Domingo Ortiz-Boyer, César Hervás-Martínez, Nicolás García-Pedrajas |
Crossover Operator Effect in Function Optimization with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN VII, 7th International Conference, Granada, Spain, September 7-11, 2002, Proceedings, pp. 184-193, 2002, Springer, 3-540-44139-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Marco Vieira, Henrique Madeira |
Definition of Faultloads Based on Operator Faults for DMBS Recovery Benchmarking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan, pp. 265-274, 2002, IEEE Computer Society, 0-7695-1852-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Liviu Badea |
A Refinement Operator for Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001, Proceedings, pp. 1-14, 2001, Springer, 3-540-42538-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Kay C. Wiese, Scott D. Goodwin, Sivakumar Nagarajan |
ASERC - A Genetic Sequencing Operator for Asymmetric Permutation Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI ![In: Advances in Artificial Intelligence, 13th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2000, Montréal, Quebec, Canada, May 14-17, 2000, Proceedings, pp. 201-213, 2000, Springer, 3-540-67557-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Yania Crespo, Juan José Rodríguez, José Manuel Marqués Corral |
Obtaining Generic Classes Automatically through a Parameterization Operator: A Focus on Constrained Genericity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (31) ![In: TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1999, Nanjing, China, pp. 166-176, 1999, IEEE Computer Society, 0-7695-0393-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
restructuring classes, reorganizing hierarchies, constrained genericity, object oriented programming, reuse, Eiffel |
23 | Guo Tao, Zbigniew Michalewicz |
Inver-over Operator for the TSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN V, 5th International Conference, Amsterdam, The Netherlands, September 27-30, 1998, Proceedings, pp. 803-812, 1998, Springer, 3-540-65078-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Andrew Tuson, Peter Ross |
Cost Based Operator Rate Adaption: An Investigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN IV, International Conference on Evolutionary Computation. The 4th International Conference on Parallel Problem Solving from Nature, Berlin, Germany, September 22-26, 1996, Proceedings, pp. 461-469, 1996, Springer, 3-540-61723-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Karl Stroetmann 0001, Thomas Glaß |
A Declarative Semantics for the Prolog Cut Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings, pp. 255-271, 1996, Springer, 3-540-60983-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Juanito Camilleri |
A Conditional Operator for CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings, pp. 142-156, 1991, Springer, 3-540-54430-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Stephen L. France, J. Douglas Carroll |
DEMScale: Large Scale MDS Accounting for a Ridge Operator and Demographic Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDA ![In: Advances in Intelligent Data Analysis VIII, 8th International Symposium on Intelligent Data Analysis, IDA 2009, Lyon, France, August 31 - September 2, 2009. Proceedings, pp. 47-58, 2009, Springer, 978-3-642-03914-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Ridge Operator, Visualization, PCA, MDS |
23 | Jianhua Zhang, Xing-Yu Wang, Mahdi Mahfouf, Derek A. Linkens |
Fuzzy Logic based Identification of Operator Functional States Using Multiple Physiological and Performance Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMEI (1) ![In: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics, BMEI 2008, May 28-30, 2008, Sanya, Hainan, China - Volume 1, pp. 570-574, 2008, IEEE Computer Society, 978-0-7695-3118-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Operator functional states, automation-enhanced cabin air management system (aCAMS), genetic algorithm, ANFIS, human-machine system |
23 | Stephen Dignum, Riccardo Poli |
Operator Equalisation and Bloat Free GP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroGP ![In: Genetic Programming, 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008. Proceedings, pp. 110-121, 2008, Springer, 978-3-540-78670-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Program Length, Operator Equalisation, Genetic Programming, Search, Bloat |
23 | Marc Fuentes |
Diagonalization of the symmetrized discrete i th right shift operator: an elementary proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 44(1), pp. 29-43, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Discrete right shift operator, Eigenvalues, Eigenvectors |
23 | Jiahai Wang, Yalan Zhou |
Quantum-Behaved Particle Swarm Optimization with Generalized Local Search Operator for Global Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007, Proceedings, pp. 851-860, 2007, Springer, 978-3-540-74201-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Quantum-behaved particle swarm optimization, generalized local search operator, global optimization |
23 | Paul Houston, Ilaria Perugia, Dominik Schötzau |
Mixed Discontinuous Galerkin Approximation of the Maxwell Operator: Non-Stabilized Formulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 22(1), pp. 315-346, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Maxwell operator, Discontinuous Galerkin methods, mixed methods |
23 | Yayun Wan, Jaijeet S. Roychowdhury |
Operator-based model-order reduction of linear periodically time-varying systems. ![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. 391-396, 2005, ACM, 1-59593-058-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
LPTV systems, modularity, operator, model-order reduction |
23 | Shi-Huang Chen, Jhing-Fa Wang |
Speech Enhancement Using Perceptual Wavelet Packet Decomposition and Teager Energy Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 36(2-3), pp. 125-139, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
perceptual wavelet packet decomposition (PWPD), teager energy operator (TEO), time-adaptive thresholding (TAT), speech enhancement |
23 | Christian H. Bischof, H. Martin Bücker, Bruno Lang, Arno Rasch, Andre Vehreschild |
Combining Source Transformation and Operator Overloading Techniques to Compute Derivatives for MATLAB Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 1 October 2002, Montreal, Canada, pp. 65-72, 2002, IEEE Computer Society, 0-7695-1793-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
operator overloading, MATLAB, high-level language, automatic differentiation, derivatives, source transformation |
23 | Gabriele Castellini |
Connectedness with Respect to a Closure Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(3), pp. 285-302, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
constant morphism, closure operator, connectedness, Galois connection |
23 | Eraldo Giuli, Walter Tholen |
Openness with Respect to a Closure Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 8(3), pp. 487-502, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
closed morphism, open morphism, initial morphism, final morphism, open subobject, natural complement, closure operator |
23 | Zili Zhang 0001, Chengqi Zhang |
Result Fusion in Multi-Agent Systems Based on OWA Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSC ![In: 23rd Australasian Computer Science Conference (ACSC 2000), 31 January - 3 February 2000, Canberra, Australia, pp. 234-240, 2000, IEEE Computer Society, 0-7695-0518-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Multi-Agent Systems, Information Fusion, Group Decision Making, Ordered Weighted Averaging Operator |
23 | Hae Yong Kim |
Segmentation-Free Printed Character Recognition by Relaxed Nearest Neighbor Learning of Windowed Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: XII Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI '99), October 17-20, 1999, Campinas, Brazil, pp. 195-, 1999, IEEE Computer Society, 0-7695-0481-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
nearest neighbor learning, windowed operator design, Optical character recognition, kd-tree |
23 | Jos C. M. Baeten, Jan A. Bergstra |
The State Operator in Real Time Process Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings, pp. 107-123, 1991, Springer, 3-540-55564-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
state operator, real time, locations, & Phrases process algebra |
23 | Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli |
Logic Programs under Three-Valued Lukasiewicz Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, pp. 464-478, 2009, Springer, 978-3-642-02845-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Three Valued Logic Programs, ?ukasiewicz Semantics |
23 | Maoguo Gong, Licheng Jiao, Wenping Ma 0001 |
Orthogonal immune algorithm with diversity-based selection for numerical optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GEC Summit ![In: Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation, GEC Summit 2009, Shanghai, China, June 12-14, 2009, pp. 141-148, 2009, ACM, 978-1-60558-326-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
orthogonal experimental design, evolutionary algorithm, numerical optimization, clonal selection algorithm |
23 | Tomomichi Hagiwara |
Fast-lifting approach to time-delay systems: Fundamental framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 5292-5299, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Ziyi Chen, Lishan Kang, Lijun Liu |
Improved GuoTao Algorithm for Unconstrained Optimization Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISICA ![In: Advances in Computation and Intelligence, Third International Symposium, ISICA 2008, Wuhan, China, December 19-21, 2008 Proceedings, pp. 37-44, 2008, Springer, 978-3-540-92136-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Zeming Zhang, Wenjian Luo, Xufa Wang |
Immune genetic programming based on register-stack structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 3751-3758, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Götz E. Pfander, D. F. Walnut |
Measurement of Time-Variant Linear Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 52(11), pp. 4808-4820, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Xiaogang Qi, Lifang Liu 0001, Sanyang Liu |
A Novel Evolutionary Algorithm for Multi-constrained Path Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2006: Advances in Artificial Intelligence, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings, pp. 699-708, 2006, Springer, 3-540-49787-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Pierre P. Duez, Michael Zuliani, Greg A. Jamieson |
Trust by design: information requirements for appropriate trust in automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 2006 conference of the Centre for Advanced Studies on Collaborative Research, October 16-19, 2006, Toronto, Ontario, Canada, pp. 108-117, 2006, IBM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Stavros Harizopoulos, Vladislav Shkapenyuk, Anastassia Ailamaki |
QPipe: A Simultaneously Pipelined Relational Query Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Baltimore, Maryland, USA, June 14-16, 2005, pp. 383-394, 2005, ACM, 1-59593-060-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Gerard Allwein, Hilmi Demir, Lee Pike |
Logics for Classes of Boolean Monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 13(3), pp. 241-266, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
algebras of relations, Boolean monoids, correspondence theory, Kripke frames, relative modalities, CMOS circuits |
23 | Michael A. Wolfe |
On a Second Derivative Test due to Qi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Comput. ![In: Reliab. Comput. 4(3), pp. 223-234, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Pradeep K. Khosla, Nikolaos Papanikolopoulos |
Telerobotic visual servoing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 2(2), pp. 127-153, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
cartesian controller, optical flow, correlation, Adaptive controller, visual servoing, telerobotics |
23 | Goetz Graefe |
Encapsulation of Parallelism in the Volcano Query Processing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, Atlantic City, NJ, USA, May 23-25, 1990., pp. 102-111, 1990, ACM Press, 978-0-89791-365-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
23 | José Carmo, Amílcar Sernadas |
Inevitability in Branching Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic at Botik ![In: Logic at Botik '89, Symposium on Logical Foundations of Computer Science, Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings, pp. 41-62, 1989, Springer, 3-540-51237-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
23 | Jean-Nicolas Ouellet, Patrick Hébert |
Precise ellipse estimation without contour point extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Vis. Appl. ![In: Mach. Vis. Appl. 21(1), pp. 59-67, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Ellipse targets, Dual conic, Dual ellipse, Geometric fitting, Forstner operator, Conic |
23 | Xiaomin Liu, Peihua Li, Qi Song |
Eyelid Localization in Iris Images Captured in Less Constrained Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICB ![In: Advances in Biometrics, Third International Conference, ICB 2009, Alghero, Italy, June 2-5, 2009. Proceedings, pp. 1140-1149, 2009, Springer, 978-3-642-01792-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Eyelid localization, Integro-differential parabolic arc operator, 1D Signal, RANSAC |
23 | Peter Svenmarck, Dennis Andersson, Björn Lindahl, Johan Hedström, Patrik Lif |
Tactical Reconnaissance Using Groups of Partly Autonomous UGVs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (17) ![In: Engineering Psychology and Cognitive Ergonomics, 8th International Conference, EPCE 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, pp. 326-335, 2009, Springer, 978-3-642-02727-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Operator-to-Vehicle Ratio, Supervisory Control, Multi-Robot Systems, Reconnaissance, UGV |
23 | Reno Filla |
A Methodology for Modeling the Influence of Construction Machinery Operators on Productivity and Fuel Consumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (11) ![In: Digital Human Modeling, Second International Conference, ICDHM 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, pp. 614-623, 2009, Springer, 978-3-642-02808-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
dynamic simulation, driver model, operator model |
23 | Ruzica Piskac, Viktor Kuncak |
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, pp. 124-138, 2008, Springer, 978-3-540-87530-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
verification and program analysis, cardinality operator, mixed linear integer-rational arithmetic, fuzzy sets, sets, multisets |
23 | Xiaohong Zhang 0001, Yingcang Ma, Zhanao Xue, Gang Yao |
Implication Operators Based on Rough Set Model over Boolean Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2007 IEEE International Conference on Granular Computing, GrC 2007, San Jose, California, USA, 2-4 November 2007, pp. 186-191, 2007, IEEE Computer Society, 0-7695-3032-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Implication operator, IMTL-algebra, Heyting Wajsberg algebra (HW algebra), Fuzzy Logic, Rough Set, Boolean Algebras |
23 | Zhihong Mao, Lizhuang Ma, Mingxi Zhao, Zhong Li |
A Modified Laplacian Smoothing Approach with Mesh Saliency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Smart Graphics ![In: Smart Graphics, 6th International Symposium, SG 2006, Vancouver, Canada, July 23-25, 2006, Proceedings, pp. 105-113, 2006, Springer, 3-540-36293-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Lapalacian Smoothing Operator, Perceptually Salient, Shape Features, Mesh Saliency, Mesh Fairing |
23 | Bernhard Burgeth, Stephan Didas, Joachim Weickert |
Relativistic Scale-Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scale-Space ![In: Scale Space and PDE Methods in Computer Vision, 5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005, Proceedings, pp. 1-12, 2005, Springer, 3-540-25547-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Kinetic energy, Poisson scale-space, pseudodifferential operator, semigroup |
23 | Madasu Hanmandlu, John See, Shantaram Vasikarla |
Fuzzy Edge Detector Using Entropy Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (1) ![In: International Conference on Information Technology: Coding and Computing (ITCC'04), Volume 1, April 5-7, 2004, Las Vegas, Nevada, USA, pp. 665-670, 2004, IEEE Computer Society, 0-7695-2108-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
fuzzy image processing, contrast intensification operator, fuzzifier, crossover point, Gaussian membership function, entropy, image enhancement, Edge detector |
23 | Joan Jacas, Jordi Recasens |
Maps and isometries between indistinguishability operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 6(1), pp. 14-20, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Indistinguishability operator, Similarity, Morphism, Fuzzy equality, Isometry |
23 | Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier F. Roux |
Extending the Translation from SDL to Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings, pp. 79-94, 2002, Springer, 3-540-43477-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
SDL formalism, save operator, model-checking, data abstraction |
23 | Yoonsik Cheon, Heung-Nam Kim |
Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 6th Asia-Pacific Software Engineering Conference (APSEC '99), 7-10 December 1999, Takamatsu, Japan, pp. 468-475, 1999, IEEE Computer Society, 0-7695-0509-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
sequence operator, specification language, Smalltalk, formal semantics, block, Program specification |
Displaying result #101 - #200 of 15672 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|