|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11405 occurrences of 5791 keywords
|
|
|
Results
Found 12330 publication records. Showing 12330 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
57 | Zalech Zalech |
Essential ASP.NET2. |
IEEE Distributed Syst. Online |
2004 |
DBLP DOI BibTeX RDF |
Essential ASP.NET with Examples in C#, Essential ASP.NET with Examples in Visual Basic .NET, C#, ASP, Visual Basic, .NET |
50 | Uwe Helmke, Knut Hüper, Pei Yean Lee, John B. Moore |
Essential Matrix Estimation Using Gauss-Newton Iterations on a Manifold. |
Int. J. Comput. Vis. |
2007 |
DBLP DOI BibTeX RDF |
essential matrix, local quadratic convergence, stereo vision, Riemannian manifold, Newton's method |
42 | Patrick Wambacq, Kris Demuynck, Dirk Van Compernolle |
SPRAAK: Speech Processing, Recognition and Automatic Annotation Kit. |
Essential Speech and Language Technology for Dutch |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Gertjan van Noord, Gosse Bouma, Frank Van Eynde, Daniël de Kok, Jelmer van der Linde, Ineke Schuurman, Erik Tjong Kim Sang, Vincent Vandeghinste |
Large Scale Syntactic Annotation of Written Dutch: Lassy. |
Essential Speech and Language Technology for Dutch |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Henk van den Heuvel, Jean-Pierre Martens, Gerrit Bloothooft, Marijn Schraagen, Nanneke Konings, Kristof D'hanens, Qian Yang |
Resources Developed in the Autonomata Projects. |
Essential Speech and Language Technology for Dutch |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Peter Spyns, Elisabeth D'Halleweyn |
The STEVIN Programme: Result of 5 Years Cross-border HLT for Dutch Policy Preparation. |
Essential Speech and Language Technology for Dutch |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Bert Réveil, Jean-Pierre Martens, Henk van den Heuvel, Gerrit Bloothooft, Marijn Schraagen |
Lexical Modeling for Proper name Recognition in Autonomata Too. |
Essential Speech and Language Technology for Dutch |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Maarten de Rijke, Valentin Jijkoun, Fons Laan, Wouter Weerkamp, Paul Ackermans, Gijs Geleijnse |
Generating, Refining and Using Sentiment Lexicons. |
Essential Speech and Language Technology for Dutch |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Catia Cucchiarini, Hugo Van hamme |
The JASMIN Speech Corpus: Recordings of Children, Non-natives and Elderly People. |
Essential Speech and Language Technology for Dutch |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Iris Hendrickx, Gosse Bouma, Walter Daelemans, Véronique Hoste |
COREA: Coreference Resolution for Extracting Answers for Dutch. |
Essential Speech and Language Technology for Dutch |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Erwin Marsi, Emiel Krahmer |
Automatic Tree Matching for Analysing Semantic Similarity in Comparable Text. |
Essential Speech and Language Technology for Dutch |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Helmer Strik, Joost van Doremalen, Jozef Colpaert, Catia Cucchiarini |
Development and Integration of Speech Technology into COurseware for Language Learning: The DISCO Project. |
Essential Speech and Language Technology for Dutch |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Jan Odijk |
Identification and Lexical Representation of Multiword Expressions. |
Essential Speech and Language Technology for Dutch |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Peter Spyns |
Introduction. |
Essential Speech and Language Technology for Dutch |
2013 |
DBLP DOI BibTeX RDF |
|
42 | David Weenink |
STEVIN Can Praat. |
Essential Speech and Language Technology for Dutch |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Jan Odijk |
Conclusions and Outlook to the Future. |
Essential Speech and Language Technology for Dutch |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Hans Paulussen, Lieve Macken, Willy Vandeweghe, Piet Desmet |
Dutch Parallel Corpus: A Balanced Parallel Corpus for Dutch-English and Dutch-French. |
Essential Speech and Language Technology for Dutch |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Vincent Vandeghinste, Scott Martens, Gideon Kotzé, Jörg Tiedemann, Joachim Van den Bogaert, Koen De Smet, Frank Van Eynde, Gertjan van Noord |
Parse and Corpus-Based Machine Translation. |
Essential Speech and Language Technology for Dutch |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Jan De Belder, Daniël de Kok, Gertjan van Noord, Fabrice Nauze, Leonoor van der Beek, Marie-Francine Moens |
Question Answering of InformativeWeb Pages: How Summarisation Technology Helps. |
Essential Speech and Language Technology for Dutch |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Nelleke Oostdijk, Martin Reynaert, Véronique Hoste, Ineke Schuurman |
The Construction of a 500-Million-Word Reference Corpus of Contemporary Written Dutch. |
Essential Speech and Language Technology for Dutch |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Piek Vossen, Isa Maks, Roxane Segers, Hennie van der Vliet, Marie-Francine Moens, Katja Hofmann, Erik Tjong Kim Sang, Maarten de Rijke |
Cornetto: A Combinatorial Lexical Semantic Database for Dutch. |
Essential Speech and Language Technology for Dutch |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Remco van Veenendaal, Laura van Eerten, Catia Cucchiarini, Peter Spyns |
The Dutch-Flemish HLT Agency: Managing the Lifecycle of STEVIN's Language Resources. |
Essential Speech and Language Technology for Dutch |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Yujun Wang, Jort F. Gemmeke, Kris Demuynck, Hugo Van hamme |
Missing Data Solutions for Robust Speech Recognition. |
Essential Speech and Language Technology for Dutch |
2013 |
DBLP DOI BibTeX RDF |
|
42 | David A. van Leeuwen |
N-Best 2008: A Benchmark Evaluation for Large Vocabulary Speech Recognition in Dutch. |
Essential Speech and Language Technology for Dutch |
2013 |
DBLP DOI BibTeX RDF |
|
41 | Zongben Xu, Jianjun Wang 0003 |
The essential order of approximation for nearly exponential type neural networks. |
Sci. China Ser. F Inf. Sci. |
2006 |
DBLP DOI BibTeX RDF |
nearly exponential type neural networks, the essential order of approximation, the modulus of smoothness of a multivariate function |
41 | Liwu Li 0001 |
Object-Oriented Essential Modeling. |
APSEC |
1999 |
DBLP DOI BibTeX RDF |
essential modeling, context model, Actor, use case model, analysis model |
38 | Wladyslaw Skarbek, Michal Tomaszewski |
Epipolar Angular Factorisation of Essential Matrix for Camera Pose Calibration. |
MIRAGE |
2009 |
DBLP DOI BibTeX RDF |
essential matrix, angular factorisation, camera pose calibration, epipolar geometry |
38 | Eric J. Frett, Kenneth E. Barner |
Accuracy and frequency analysis of multitouch interfaces for individuals with Parkinsonian and essential hand tremor. |
ASSETS |
2005 |
DBLP DOI BibTeX RDF |
essential tremor, multitouch surfaces, human-computer interaction, Fitts' law, Parkinson's disease |
38 | Tsong Yueh Chen, Man Fai Lau |
On the Minimal Essential Subsets and Minimal Representative Sets. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
minimal essential set, minimal representative set, software testing, set covering, test suite reduction |
38 | Peter L. Hammer, Alexander Kogan |
Essential and redundant rules in Horn knowledge bases. |
HICSS (3) |
1995 |
DBLP DOI BibTeX RDF |
redundant rules, essential rules, Horn knowledge bases, logically equivalent transformations, irredundant prime knowledge base, future simplifications, combinatorial characterizations, computational recognition procedures, essentiality, knowledge based systems, redundancy, redundancy, production rule, Horn clauses, combinatorial mathematics |
35 | Cathy Bodine, James Levine, James Sandstrum, Laura Meyer |
Effects of Mouse Tremor Smoothing Adapter on Ease of Computer Mouse Use by Individuals with Essential Tremor: A Pilot Study. |
HCI (5) |
2007 |
DBLP DOI BibTeX RDF |
essential tremor, mouse control, tremor smoothing, assistive technology, disability |
35 | Bertran Steinsky |
Asymptotic Behaviour of the Number of Labelled Essential Acyclic Digraphs and Labelled Chain Graphs. |
Graphs Comb. |
2004 |
DBLP DOI BibTeX RDF |
Labelled essential directed acyclic graph, Chain graph, Asymptotic enumeration, Bayesian network |
35 | Lia Patrício, João Falcão e Cunha, Raymond P. Fisk, Nuno Jardim Nunes |
Designing interaction experiences for multi-platform service provision with essential use cases. |
IUI |
2004 |
DBLP DOI BibTeX RDF |
essential use cases, service experiences, interaction experiences |
35 | Anthony W. Hager, Jorge Martinez 0001 |
Maximum Monoreflections and Essential Extensions. |
Appl. Categorical Struct. |
2001 |
DBLP DOI BibTeX RDF |
monoreflection, essential extension, ring of quotients, Archimedean f-ring |
35 | Li-Ren Huang, Jing-Yang Jou, Sy-Yen Kuo |
An Efficient PRPG Strategy By Utilizing Essential Faults. |
Asian Test Symposium |
1996 |
DBLP DOI BibTeX RDF |
PRPG, essential fault, multiple polynomial, Gauss elimination, pseudorandom test pattern, multivariable linear equation, deterministic test set, random pattern resistant circuit, don't care value, intelligent heuristic, ISCAS-85 benchmark, ISCAS-89 benchmark, built-in self test, BIST, fault coverage, LFSR, test length, hardware overhead, multiple seed |
34 | Dar-Zen Chen, Wen-Yau Cathy Lin, Mu-Hsuan Huang |
Using Essential Patent Index and Essential Technological Strength to evaluate industrial technological innovation competitiveness. |
Scientometrics |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Wei Cheng 0001, Nan Zhang 0004, Min Song 0002, Dechang Chen, Xicheng Lu, Zexin Lu |
Time-Bounded Essential Localization for Wireless Sensor Networks. |
NAS |
2010 |
DBLP DOI BibTeX RDF |
relative localization, essential localization, wireless sensor networks, time bound |
32 | Russ Miller, Quentin F. Stout |
Simulating Essential Pyramids. |
IEEE Trans. Computers |
1988 |
DBLP DOI BibTeX RDF |
essential pyramids, pyramid algorithms, mesh with row and column buses, mesh with reconfigurable buses, pyramid computer, simulation, image processing, parallel processing, virtual machines, hypercube, mesh, computerised picture processing, optimal algorithms, PRAM, mesh-of-trees |
32 | Frantisek Kremla |
General Criterion for Essential Nonfault Locatability of Logical Functions. |
IEEE Trans. Computers |
1987 |
DBLP DOI BibTeX RDF |
two-element Boolean algebra, Boolean combinational circuit (CC), congruence relation, essential nonfault locatability, fault equivalence class, finite Boolean construct, tolerance relation, stuck faults |
32 | Yue-Sun Kuo |
Generating Essential Primes for a Boolean Function with Multiple-Valued Inputs. |
IEEE Trans. Computers |
1987 |
DBLP DOI BibTeX RDF |
Boolean function with multiple-valued inputs, essential prime implicant, tautology checking, consensus, logic minimization, unate function |
31 | Lejun Zhang, Wu Yang 0001, Wei Wang 0076, Lin Guo, Yongtian Yang |
A Method to Enhance Service Survivability Based on Autonomous Configuration. |
IMSCCS |
2007 |
DBLP DOI BibTeX RDF |
essential service, service survivability, autonomous configuration algorithm |
30 | Raghav Subbarao, Yakup Genc, Peter Meer |
Robust unambiguous parametrization of the essential manifold. |
CVPR |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Marzena Kryszkiewicz |
Compressed Disjunction-Free Pattern Representation versus Essential Pattern Representation. |
IDEAL |
2009 |
DBLP DOI BibTeX RDF |
|
27 | James G. Oxley, Haidong Wu |
The 3-Connected Graphs with Exactly Three Non-Essential Edges. |
Graphs Comb. |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Richard I. Hartley, Fredrik Kahl |
Global Optimization through Rotation Space Search. |
Int. J. Comput. Vis. |
2009 |
DBLP DOI BibTeX RDF |
Essential matrix, Global optimization, Branch-and-bound algorithm |
25 | Andrzej S. Murawski, C.-H. Luke Ong |
Fast verification of MLL proof nets via IMLL. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
Multiplicative linear logic, disjoint union find, essential nets, dominator trees, proof nets |
25 | Chen Tian 0013, Junyan Zhang, Dayong Liu |
Knowledge Sources, Novelty, and Generality: Do Standard-Essential Patents Differ From Nonstandard-Essential Ones? |
IEEE Trans. Engineering Management |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Pedro Alonso 0002, José Ranilla, Jesús Vigo-Aguiar |
High-performance computing: the essential tool and the essential challenge. |
J. Supercomput. |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Wenhua Lv, Jiajia Zheng, Meiwei Luan, Miao Shi, Hongjie Zhu, Mingming Zhang, Hongchao Lv, Zhenwei Shang, Lian Duan, Ruijie Zhang, Yongshuai Jiang |
Comparing the evolutionary conservation between human essential genes, human orthologs of mouse essential genes and human housekeeping genes. |
Briefings Bioinform. |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Yuexu Jiang, Yan Wang 0028, Wei Pang 0001, Liang Chen 0021, Huiyan Sun, Yanchun Liang 0001, Enrico Blanzieri |
Essential protein identification based on essential protein-protein interaction prediction by integrated edge weights. |
BIBM |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Duncan Smith |
Books: An Essential Part of Essential Libraries. |
Public Libr. Q. |
2011 |
DBLP DOI BibTeX RDF |
|
25 | J. Peter Svensson, Laia Pesudo, Rebecca C. Fry, Yeyejide A. Adeleye, Paul L. Carmichael, Leona D. Samson |
Genomic phenotyping of the essential and non-essential yeast genome detects novel pathways for alkylation resistance. |
BMC Syst. Biol. |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Renling Jin, Saharon Shelah |
Essential Kurepa Trees versus Essential Jech-Kunen Trees. |
Ann. Pure Appl. Log. |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Shinsaku Fujita |
A new algorithm for selection of synthetically important rings. The essential set of essential rings for organic structures. |
J. Chem. Inf. Comput. Sci. |
1988 |
DBLP DOI BibTeX RDF |
|
25 | Shinsaku Fujita |
Logical perception of ring-opening, ring-closure, and rearrangement reactions based on imaginary transition structures. Selection of the essential set of essential rings (ESER). |
J. Chem. Inf. Comput. Sci. |
1988 |
DBLP DOI BibTeX RDF |
|
24 | Hon Nian Chua, Kar Leong Tew, Xiaoli Li 0001, See-Kiong Ng |
A Unified Scoring Scheme for Detecting Essential Proteins in Protein Interaction Networks. |
ICTAI (2) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Dirk Sudholt |
Crossover is provably essential for the ising model on trees. |
GECCO |
2005 |
DBLP DOI BibTeX RDF |
expected optimization time, mutation vs. crossover, ising model, theoretical analysis, fitness sharing |
24 | HyungJong Kim 0002, Joonmo Kim, Kang Shin Lee, Hongsub Lee, Tae Ho Cho |
Simulation-Based Security Testing for Continuity of Essential Service. |
ICCSA (1) |
2004 |
DBLP DOI BibTeX RDF |
Service Continuity, Experimental Frame, Availability, Survivability, Vulnerability, Security Testing |
24 | Yue-Sun Kuo, W. K. Chou |
Generating essential primes for a Boolean function with multiple-valued inputs. |
DAC |
1986 |
DBLP DOI BibTeX RDF |
|
22 | Yang Yang, Xiaoping Luo, Yonggang Peng, Wei Wei 0024 |
Research of fuzzy control strategy on artificial climate chest. |
GEC Summit |
2009 |
DBLP DOI BibTeX RDF |
artificial climate chest, essential model, fuzzy adaptive control, fuzzy approximator |
22 | Seungwoo Kang, Jinwon Lee, Hyukjae Jang, Hyonik Lee, Youngki Lee, Souneil Park, Taiwoo Park, Junehwa Song |
SeeMon: scalable and energy-efficient context monitoring framework for sensor-rich mobile environments. |
MobiSys |
2008 |
DBLP DOI BibTeX RDF |
context monitoring query (cmq), essential sensor set (ess), sensor control, sensor-rich mobile environment, shared and incremental processing, context monitoring |
22 | C. J. Budd, Othmar Koch, Ewa Weinmüller |
Computation of Self-similar Solution Profiles for the Nonlinear Schrödinger Equation. |
Computing |
2006 |
DBLP DOI BibTeX RDF |
Nonlinear Schrödinger equation, blow-up solutions, essential singularity, self-similarity, error estimation, collocation methods |
22 | Larry L. Constantine, Pedro F. Campos |
CanonSketch and TaskSketch: innovative modeling tools for usage-centered design. |
OOPSLA Companion |
2005 |
DBLP DOI BibTeX RDF |
canonical abstract prototype, essential use cases, task cases, usage-centered design, user interface design, task modeling, abstract user interfaces |
22 | Yang Bo He, Zhi Geng, Xun Liang 0001 |
Learning Causal Structures Based on Markov Equivalence Class. |
ALT |
2005 |
DBLP DOI BibTeX RDF |
Causal structure, Constrained essential graph, Randomization experiments, Bayesian networks, Directed acyclic graphs |
22 | Mitsunori Takano, Junichi Higo, Hironori K. Nakamura, Masaki Sasai |
On the model granularity to simulate protein dynamics: A biological physics view on biomolecular computing. |
Nat. Comput. |
2004 |
DBLP DOI BibTeX RDF |
coarse-grained model, collective motion, essential dynamics, simulation, robustness, structure, function |
22 | Mojgan Mahmoudi, M. Mehdi Ebrahimi |
Purity and Equational Compactness of Projection Algebras. |
Appl. Categorical Struct. |
2001 |
DBLP DOI BibTeX RDF |
projection algebra, pure, equationally compact, s-pure, s-compact, s-injective, pure-essential, equational compact hull, injective hull, complete, sequence |
22 | Vagan Y. Terziyan, Seppo Puuronen, Mikko Kovalainen |
Decision support system for telemedicine based on multiple expertise. |
CBMS |
1997 |
DBLP DOI BibTeX RDF |
multiple expertise, experts-physicians, telecommunication tools, multilevel representation, semantically essential information, complex dynamics, ordinary statistical tools, voting-type technique, Telediagnostic Expert Medical System, Medical Teleconsulting Support System, artificial intelligence, decision support system, telemedicine, medical expert systems |
22 | Hisashi Kondo, Kwang-Ting Cheng |
An Efficient Compact Test Generator for IDDQ Testing. |
Asian Test Symposium |
1996 |
DBLP DOI BibTeX RDF |
Selective IDDQ, Pattern Compaction, Pseudo Stuck-at Fault, Essential Fault, Test, ATPG, Fault Model, Testability, IDDQ, Leakage Fault |
22 | Jean-Yves Bouguet, Pietro Perona |
Visual Navigation Using a Single Camera. |
ICCV |
1995 |
DBLP DOI BibTeX RDF |
monocular recursive motion estimation techniques, Essential filter, scale estimation, 8000 frame indoors sequence, sampling time frequency, necessary features, computer vision, navigation, motion estimation, image sequences, motion, accuracy, position, vehicles, visual navigation, recursive estimation, vehicle navigation, single camera |
21 | Gonzalo López-Nicolás, Carlos Sagüés, José Jesús Guerrero |
Parking with the essential matrix without short baseline degeneracies. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Ebrahim Bagheri, Ali A. Ghorbani 0001 |
On the Definition of Essential and Contingent Properties of Subjective Belief Bases. |
MICAI |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Robert Winter 0001, Ronny Fischer |
Essential Layers, Artifacts, and Dependencies of Enterprise Architecture. |
EDOC Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Milan Studený |
Characterization of Inclusion Neighbourhood in Terms of the Essential Graph: Uper Neighbours. |
ECSQARU |
2003 |
DBLP DOI BibTeX RDF |
|
21 | LeMai Nguyen, Paul A. Swatman |
Essential and Incidental Complexity in Requirements Models. |
ICRE |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Jianlin Qiu, Xiang Gu 0001, Fen Li, Dan Ji, Peng He |
Minimization Algorithm of Unate Logic Functions. |
CIT |
2010 |
DBLP DOI BibTeX RDF |
Unate Logic Functions, Complement Sets, Essential Prime Implicants, Algorithm, Minimization |
19 | Yanliang Zhang, Huijuan Jia, Hui Guo |
Uniqueness Condition for Nonunitary Joint Diagonalization. |
MVHI |
2010 |
DBLP DOI BibTeX RDF |
Joint Diagonalization, Uniqueness Condition, Essential Equal, Signal processing, Blind Source Separation(BSS) |
19 | Peiping Shen, Yuan Ma, Yongqiang Chen |
A robust algorithm for generalized geometric programming. |
J. Glob. Optim. |
2008 |
DBLP DOI BibTeX RDF |
Essential optimal solution, Monotonic optimization, Global optimization, Generalized geometric programming, Robust solution |
19 | James N. Damon |
Tree Structure for Contractible Regions in R3. |
Int. J. Comput. Vis. |
2007 |
DBLP DOI BibTeX RDF |
Blum medial axis, contractible region, irreducible medial components, essential and inessential fin curves, Y-network, top level and second level (directed) trees |
19 | David S. Vogel, Randy C. Axelrod |
Predicting the Effects of Gene Deletion. |
SIGKDD Explor. |
2002 |
DBLP DOI BibTeX RDF |
essential, model, interaction, prediction, text mining, decision tree, KDD, deletion, gene, KDD Cup |
19 | Henk Huitema, Robert van Liere |
Interactive visualization of protein dynamics. |
IEEE Visualization |
2000 |
DBLP DOI BibTeX RDF |
essential dynamics, molecular graphics, animation, interactive exploration |
19 | Stephen H. Unger |
Hazards, Critical Races, and Metastability. |
IEEE Trans. Computers |
1995 |
DBLP DOI BibTeX RDF |
critical race, dynamic hazards, essential hazards, inertial delays, pure delays, sequential logic, timing problems, delays, Asynchronous, metastability, timing simulation |
19 | Sergei G. Vorobyov |
Structural Decidable Extensions of Bounded Quantification. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
(W)SnS, bounded universal type quantification, essential undecidability, parametric and inheritance polymorphisms, second-order polymorphic typed ?-calculus, system F?, decidability, subtyping, undecidability |
19 | Harold Fleisher, John Giraldi, R. Phoenix, Morton Tavel |
Minimizability of Random Boolean Functions. |
IEEE Trans. Computers |
1989 |
DBLP DOI BibTeX RDF |
random Boolean functions, prime k-cubes, essential k-cubes, n-variable, random clumping, ESPRESSO, Boolean functions, minimisation |
19 | Tsutomu Sasao |
Input Variable Assignment and Output Phase Optimization of PLA's. |
IEEE Trans. Computers |
1984 |
DBLP DOI BibTeX RDF |
complexity of logic circuits, decoder assignment, essential prime implicants, output phase optimization, logic design, programmable logic array, Adder, switching theory |
18 | Graziano Chesi |
Estimation of the camera pose from image point correspondences through the essential matrix and convex optimization. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Michael Affenzeller, Andreas Beham, Stefan Wagner 0002, Stephan M. Winkler |
About the dynamics of essential genetic information: an empirical analysis for selected GA-variants. |
GEC Summit |
2009 |
DBLP DOI BibTeX RDF |
population diversity analysis, genetic algorithms, selection, self-adaptivity, premature convergence |
18 | Howard Whitston |
Review of "Essential RenderMan by Ian Stephenson, " Springer-Verlag New York, Inc., 2007, ISBN 1846283442. |
ACM Queue |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Peter Decker 0001, Dietrich Paulus, Tobias Feldmann |
Dealing with degeneracy in essential matrix estimation. |
ICIP |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Richard I. Hartley, Fredrik Kahl |
Global Optimization through Searching Rotation Space and Optimal Estimation of the Essential Matrix. |
ICCV |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Yun Zheng, Wynne Hsu, Mong-Li Lee, Limsoon Wong |
Exploring Essential Attributes for Detecting MicroRNA Precursors from Background Sequences. |
VDMB |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Chunmei Ding, Feilong Cao, Zongben Xu |
The Essential Approximation Order for Neural Networks with Trigonometric Hidden Layer Units. |
ISNN (1) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Mineo Kaneko |
Minimal Set of Essential Resource Disjoint Pairs for Exploring Feasible 3D Schedules. |
APCCAS |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Alain Casali, Rosine Cicchetti, Lotfi Lakhal |
Essential Patterns: A Perfect Cover of Frequent Patterns. |
DaWaK |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Winfried Auzinger, Othmar Koch, Ewa Weinmüller |
Collocation Methods for Boundary Value Problems with an Essential Singularity. |
LSSC |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Owen L. Astrachan, W. Garrett Mitchener, Geoffrey Berry, Landon P. Cox |
Design patterns: an essential component of CS curricula. |
SIGCSE |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Osami Kagawa, Kaoru Katayama, Shin'ichi Konomi, Yahiko Kambayashi |
Capturing Essential Question Support Facilities in the VIEW Classroom |
DEXA |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Stefano Soatto, Ruggero Frezza, Pietro Perona |
Motion Estimation on the Essential Manifold. |
ECCV (2) |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Tan Watanabe, Kazuko Sakuma, Hideyuki Arai, Kohbun Umetani |
Essential language el(alpha) - a reduced expression set language for system programming. |
ACM SIGPLAN Notices |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Hector Ouilhet |
Google Sky Map: using your phone as an interface. |
Mobile HCI |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Yi Ma 0001, Jana Kosecka, Shankar Sastry 0001 |
Motion Recovery from Image Sequences: Discrete Viewpoint vs. Differential Viewpoint. |
ECCV (2) |
1998 |
DBLP DOI BibTeX RDF |
motion estimation, optical flow, epipolar constraint |
Displaying result #1 - #100 of 12330 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|