The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for construction with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1945-1960 (20) 1961-1963 (20) 1964-1966 (23) 1967-1968 (34) 1969-1970 (20) 1971 (15) 1972-1973 (40) 1974 (33) 1975 (28) 1976 (58) 1977 (34) 1978 (69) 1979 (70) 1980 (65) 1981 (45) 1982 (77) 1983 (68) 1984 (90) 1985 (73) 1986 (110) 1987 (138) 1988 (176) 1989 (217) 1990 (278) 1991 (249) 1992 (314) 1993 (274) 1994 (363) 1995 (424) 1996 (463) 1997 (489) 1998 (620) 1999 (739) 2000 (875) 2001 (1006) 2002 (1156) 2003 (1393) 2004 (1734) 2005 (2089) 2006 (2375) 2007 (2353) 2008 (2610) 2009 (2028) 2010 (1261) 2011 (1188) 2012 (1162) 2013 (1219) 2014 (1189) 2015 (1194) 2016 (1341) 2017 (1386) 2018 (1484) 2019 (1754) 2020 (1855) 2021 (2170) 2022 (2065) 2023 (2173) 2024 (536)
Publication types (Num. hits)
article(16901) book(65) data(26) incollection(378) inproceedings(27253) phdthesis(579) proceedings(130)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 17800 occurrences of 7422 keywords

Results
Found 45334 publication records. Showing 45332 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
16Anders Ericsson, Paul Aljabar, Daniel Rueckert Construction of a patient-specific atlas of the brain: Application to normal aging. Search on Bibsonomy ISBI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Canhui Wang, Min Zhang 0006, Shaoping Ma, Liyun Ru Automatic online news issue construction in web environment. Search on Bibsonomy WWW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF news issue, clustering, topic detection and tracking
16Seung Geol Choi, Dana Dachman-Soled, Tal Malkin, Hoeteck Wee Black-Box Construction of a Non-malleable Encryption Scheme from Any Semantically Secure One. Search on Bibsonomy TCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF black-box constructions, Public-key encryption, semantic security, non-malleability
16Gunnar Lucko, Perakath C. Benjamin, Michael G. Madden Harnessing the power of simulation in the project management / decision support aspects of the construction industry. Search on Bibsonomy WSC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Nansheng Pang, Yingling Shi, Yifei Ling Research on Competitive Powers Evaluation of Chinese Construction Enterprises Based on DEA. Search on Bibsonomy CSSE (4) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Sachindra Joshi, Ganesh Ramakrishnan, Ashwin Srinivasan 0001 Feature Construction Using Theory-Guided Sampling and Randomised Search. Search on Bibsonomy ILP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Qi Zheng, Chao Li, Yunhua Li, Mei Shuai Investigation on Key Techniques of Measurement Device of Position and Attitude Applied in Large-Scale Pushing Bridge Construction Machinery. Search on Bibsonomy RAM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Dingxuan Zhao, Gongjie Cui, Yingjie Li, Jie Gong, Shubo Liu, Yuankun Zhang Automatic Shift with 4-parameter of Construction Vehicle based on Neural Network Model. Search on Bibsonomy RAM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Cunsheng Ding, Tor Helleseth, Torleiv Kløve, X. Wang A Generic Construction of Cartesian Authentication Codes. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Noga Alon, Oded Schwartz, Asaf Shapira An elementary construction of constant-degree expanders. Search on Bibsonomy SODA The full citation details ... 2007 DBLP  BibTeX  RDF
16Sumanta Sarkar, Subhamoy Maitra Construction of Rotation Symmetric Boolean Functions on Odd Number of Variables with Maximum Algebraic Immunity. Search on Bibsonomy AAECC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Non-singular Matrix, Walsh Spectrum, Boolean Function, Nonlinearity, Algebraic Immunity, Rotational Symmetry
16Orna Muller, David Ginat, Bruria Haberman Pattern-oriented instruction and its influence on problem decomposition and solution construction. Search on Bibsonomy ITiCSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF algorithmic patterns, pattern-oriented instruction, problem solving, problem decomposition
16Manjula Dissanayake, Simaan M. AbouRizk Qualitative simulation of construction performance using fuzzy cognitive maps. Search on Bibsonomy WSC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Anupama Gannoruwa, Janaka Y. Ruwanpura Construction noise prediction and barrier optimization using special purpose simulation. Search on Bibsonomy WSC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Sivakumar Palaniappan, Anil Sawhney, Howard H. Bashford, Kenneth D. Walsh Special purpose simulation template for workflow analysis in construction. Search on Bibsonomy WSC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16G. Ryan Anderson, Nilufer Onder, Amlan Mukherjee Expecting the unexpected: representing, reasoning about, and assessing construction project contingencies. Search on Bibsonomy WSC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Moustafa Kassab, Keith W. Hipel, Tarek Hegazy Uncertainty analysis in construction conflict resolution using Information-Gap theory. Search on Bibsonomy SMC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Bee-Hua Goh E-Government for Construction: The Case of Singapore's CORENET Project. Search on Bibsonomy CONFENIS (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Inter-Enterprise interoperation, Strategic business transformation, Business process reengineering, Workflow model
16Zhibin Liu Research on Optimal-Selection Model Based on Genetic Algorithm Optimizing Design for Electric Plant Construction Projects. Search on Bibsonomy IITA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Laura Giordano 0001, Alberto Martelli Tableau-based automata construction for dynamic linear time temporal logic*. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF AMS subject classification 03B44, 68N30
16Sudipto Guha, Nick Koudas, Kyuseok Shim Approximation and streaming algorithms for histogram construction problems. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF approximation algorithm, Data Streams, histograms
16Nashwan Dawood, Sushant Sikka The Value of Visual 4D Planning in the UK Construction Industry. Search on Bibsonomy EG-ICE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Amir H. Behzadan, Hiam M. Khoury, Vineet R. Kamat Structure of an extensible augmented reality framework for visualization of simulated construction processes. Search on Bibsonomy WSC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Sivakumar Palaniappan, Anil Sawhney, Hessam S. Sarjoughian Application of the DEVS framework in construction simulation. Search on Bibsonomy WSC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Hongyan Liu 0011, Feng Kong A Fuzzy Multicriteria Group Decision Making Method With Probability For Construction Safety Evaluation. Search on Bibsonomy ISDA (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Kui Yue, Daniel Huber, Burcu Akinci, Ramesh Krishnamurti The ASDMCon Project: The Challenge of Detecting Defects on Construction Sites. Search on Bibsonomy 3DPVT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Sheng Chen 0001, Chris J. Harris, Xia Hong 0001 Construction of RBF Classifiers with Tunable Units using Orthogonal Forward Selection Based on Leave-One-Out Misclassification Rate. Search on Bibsonomy IJCNN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Olga Nechaeva Composite Algorithm for Adaptive Mesh Construction Based on Self-Organizing Maps. Search on Bibsonomy ICANN (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Danny Z. Chen, Xiaobo Sharon Hu, Shuang Luan, Xiaodong Wu 0001, Cedric X. Yu Optimal Terrain Construction Problems and Applications in Intensity-Modulated Radiation Therapy. Search on Bibsonomy Algorithmica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Leaf sequencing, Algorithms, Intensity-modulated radiation therapy
16Reiji Suzuki, Takaya Arita How Niche Construction Can Guide Coevolution. Search on Bibsonomy ECAL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Ming Lu, Lap-Chi Wong Comparing PROMODEL and SDESA in modeling construction operations. Search on Bibsonomy WSC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16SangHyun Lee, Feniosky Peña-Mora System dyanmics approach for error and change management in concurrent design and construction. Search on Bibsonomy WSC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Daniel D. Suthers Collaborative Knowledge Construction through Shared Representations. Search on Bibsonomy HICSS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Sheng Chen 0001, Xia Hong 0001, Chris J. Harris Sparse kernel density construction using orthogonal forward regression with leave-one-out test score and local regularization. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part B The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Edward Latimer, DeWitt Latimer IV, Rajiv Saxena, Catherine Lyons, L. Michaux-Smith, Scott Thayer Sensor Space Planning with Applications to Construction Environments. Search on Bibsonomy ICRA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Srikanta J. Bedathur, Jayant R. Haritsa Engineering a Fast Online Persistent Suffix Tree Construction. Search on Bibsonomy ICDE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Orna Kupferman, Moshe Y. Vardi From Complementation to Certification. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Ederlina G. Nocon On the Construction of Some Type II Codes over Z4×Z4. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Type II codes, squareness property, flattened and deflattened form of codes, duality, self-dual codes
16Ge Yang 0001, Ruoming Jin, Gagan Agrawal Impact of Data Distribution, Level of Parallelism, and Communication Frequency on Parallel Data Cube Construction. Search on Bibsonomy IPDPS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
16Kishan Chand Gupta, Palash Sarkar 0001 Construction of Perfect Nonlinear and Maximally Nonlinear Multi-output Boolean Functions Satisfying Higher Order Strict Avalanche Criteria (Extended Abstract). Search on Bibsonomy INDOCRYPT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF bilinear form, symplectic matrix, nonlinearity, S-box, bent function, symmetric ciphers, SAC
16Ruoming Jin, Ge Yang 0001, Karthik Vaidyanathan, Gagan Agrawal Communication and Memory Optimal Parallel Data Cube Construction. Search on Bibsonomy ICPP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
16Éliane Jaulmes, Antoine Joux, Frédéric Valette On the Security of Randomized CBC-MAC Beyond the Birthday Paradox Limit: A New Construction. Search on Bibsonomy FSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
16Thorsten Fiebig, Guido Moerkotte Algebraic XML Construction in Natix. Search on Bibsonomy WISE (1) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
16Dennis Fukai, Ravi Srinivasan PCIS - A Visual Decision Tool for Construction and Design Management. Search on Bibsonomy IV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
16Daniel Rueckert, Alejandro F. Frangi, Julia A. Schnabel Automatic Construction of 3D Statistical Deformation Models Using Non-rigid Registration. Search on Bibsonomy MICCAI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
16Feniosky Peña-Mora, Chimay J. Anumba, J. Solari, Alistair Duke An Integrated Telepresence Environment for Collaboration in Construction. Search on Bibsonomy Eng. Comput. The full citation details ... 2000 DBLP  BibTeX  RDF Meeting environments, Telepresence, Collaborative environments, Concurrent engineering
16Vineet R. Kamat, Julio C. Martínez 3D visualization of simulated construction operations. Search on Bibsonomy WSC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
16Heng Li 0001, Zahir Irani, Peter E. D. Love The IT Performance Evaluation in the Construction Industry. Search on Bibsonomy HICSS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
16Isabelle Bournaud, Jean-Gabriel Ganascia Accounting for Domain Knowledge in the Construction of a Generalization Space. Search on Bibsonomy ICCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
16Takumi Okamoto, Jason Cong Buffered Steiner tree construction with wire sizing for interconnect layout optimization. Search on Bibsonomy ICCAD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Steiner Tree, Buffer Insertion, Interconnect Optimization, Wire Sizing
16Marten van Dijk A Linear Construction of Perfect Secret Sharing Schemes. Search on Bibsonomy EUROCRYPT The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
16Robert E. Kent The Metric Closure Powerspace Construction. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
15Nadine Dittert, Heidi Schelhowe TechSportiv: using a smart textile toolkit to approach young people's physical education. Search on Bibsonomy IDC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF education, children, constructionism, construction kits, physical education
15Yubin Zhan, Jianping Yin, Jun Long Dynamic Neighborhood Selection for Nonlinear Dimensionality Reduction. Search on Bibsonomy MDAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF neighborhood construction, local linearity, manifold learning, geodesic distance
15Carla Pereira 0006, Cristóvão Sousa, António Lucas Soares A Socio-semantic Approach to Collaborative Domain Conceptualization. Search on Bibsonomy OTM Workshops The full citation details ... 2009 DBLP  DOI  BibTeX  RDF social construction of meaning, conceptual blending, collaborative networks, ontology development, Conceptualization
15Michael Philetus Weller, Mark D. Gross, Ellen Yi-Luen Do Tangible sketching in 3D with posey. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2009 DBLP  DOI  BibTeX  RDF tangible interaction, construction kit
15Stefan Popov, Iliyan Georgiev, Rossen Dimov, Philipp Slusallek Object partitioning considered harmful: space subdivision for BVHs. Search on Bibsonomy High Performance Graphics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF acceleration structures, surface area heuristic, ray tracing, construction, bounding volume hierarchies
15Martin Gruber, Günther R. Raidl Exploiting hierarchical clustering for finding bounded diameter minimum spanning trees on euclidean instances. Search on Bibsonomy GECCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF bounded diameter minimum spanning tree, construction heuristics, greedy randomized search, local improvement, dynamic programming
15Alex Alves Freitas A Review of evolutionary Algorithms for Data Mining. Search on Bibsonomy Soft Computing for Knowledge Discovery and Data Mining The full citation details ... 2008 DBLP  DOI  BibTeX  RDF attribute construction, genetic algorithm, clustering, classification, genetic programming, multi-objective optimization, attribute selection
15Khalid Saleem, Zohra Bellahsene Automatic Extraction of Structurally Coherent Mini-Taxonomies. Search on Bibsonomy ER The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mini-taxonomies, Collaborative Ontology Construction, Large Scale, Ontology Learning, Tree Mining
15Blaz Fortuna, Nada Lavrac, Paola Velardi Advancing Topic Ontology Learning through Term Extraction. Search on Bibsonomy PRICAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Topic ontology, term extraction, ontology construction
15Birger Lantow Applying Distributed Classification Algorithms to Wireless Sensor Networks - A Brief View into the Application of the SPRINT Algorithm Family. Search on Bibsonomy ICN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF SPRINT, WSN, classification, tree construction
15Michael A. Arbib, JinYong Lee Vision and Action in the Language-Ready Brain: From Mirror Neurons to SemRep. Search on Bibsonomy BVAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF brain mechanisms, competition and cooperation, construction grammar, dynamic visual scenes, language perception, language production, mirror neurons, SemRep, visual perception, vision, action, action recognition, schema theory, scene descriptions
15Peta Wyeth, Gordon F. Wyeth Robot Building for Preschoolers. Search on Bibsonomy RoboCup The full citation details ... 2007 DBLP  DOI  BibTeX  RDF robot construction kit, robot programming environment, Educational robotics
15Yevgeniy Dodis, Aleksandr Yampolskiy, Moti Yung Threshold and Proactive Pseudo-Random Permutations. Search on Bibsonomy TCC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Distributed Block Ciphers, Distributed Luby-Rackoff Construction, Oblivious Pseudo-Random Functions, Threshold Cryptography
15Tiffany Dohzen, Mujde Pamuk, Seok-Won Seong, Joachim Hammer, Michael Stonebraker Data integration through transform reuse in the Morpheus project. Search on Bibsonomy SIGMOD Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF transformation construction, transformation reuse, information integration, data transformation
15Jinhui Tang 0001, Yan Song 0001, Xian-Sheng Hua 0001, Tao Mei 0001, Xiuqing Wu To construct optimal training set for video annotation. Search on Bibsonomy ACM Multimedia The full citation details ... 2006 DBLP  DOI  BibTeX  RDF training set construction, video annotation
15Yongjie (Star) Chen, Jeff H. Rankin A framework for benchmarking e-procurement in the AEC industry. Search on Bibsonomy ICEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF construction industry, benchmarking, e-procurement
15Katsuyuki Okeya Side Channel Attacks Against HMACs Based on Block-Cipher Based Hash Functions. Search on Bibsonomy ACISP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF (keyed) hash function, PGV construction, reverse DPA, side channel attacks, differential power analysis (DPA), HMAC
15Arturo Nakasone, Helmut Prendinger, Mitsuru Ishizuka Web presentation system using RST events. Search on Bibsonomy AAMAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF narrative construction, story ontology, storytelling, rhetorical structure theory
15Tran van Trung, Sosina Martirosyan New Constructions for IPP Codes. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF identifiable parent property (IPP) code, traceability (TA) code, perfect hash family, recursive construction
15Ruoming Jin, Ge Yang 0001, Gagan Agrawal Shared Memory Parallelization of Data Mining Algorithms: Techniques, Programming Interface, and Performance. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF decision tree construction, clustering, association mining, Shared memory parallelization, programming interfaces
15Sergey Bereg Certifying and constructing minimally rigid graphs in the plane. Search on Bibsonomy SCG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Henneberg construction, rigidity theory, computational geometry, tree decomposition, pseudo-triangulation
15G. Michael Barnes, John Noga, Peter D. Smith, Jeff Wiegley Experiments with balanced-sample binary trees. Search on Bibsonomy SIGCSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF hybrid data structures, random binary tree, temporary construction, pedagogy, polymorphism, random sample, binary tree
15Victor V. Kuliamin, Nick V. Pakoulin, Alexander K. Petrenko Practical Approach to Specification and Conformance Testing of Distributed Network Applications. Search on Bibsonomy ISAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF asynchronous events specification, distributed system specification, formalization of standards, automated test construction, specification extension of programming language, test oracle generation, UniTesK, model based testing, conformance testing, Design by Contract
15Bin Qiao Problems and relative countermeasures in the process of regional informationization. Search on Bibsonomy ICEC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF information industry, regional informationization, construction
15Emanuele Viola On Constructing Parallel Pseudorandom Generators from One-Way Functions. Search on Bibsonomy CCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Pseudorandom generator construction, one-way function, black-box, restriction, constant-depth circuit, noise sensitivity, hardness amplification
15Kishan Chand Gupta, Palash Sarkar 0001 Efficient Representation and Software Implementation of Resilient Maiorana-McFarland S-boxes. Search on Bibsonomy WISA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Maiorana-McFarland Construction, stream cipher, Resiliency, S-box
15Shaojie Wang, Sharad Malik Synthesizing operating system based device drivers in embedded systems. Search on Bibsonomy CODES+ISSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF embedded system software, operating system based software synthesis, device driver, correct-by-construction
15Adnan Amin Segmentation of Printed Arabic Text. Search on Bibsonomy ICAPR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Construction binary tree, Arabic Characters, Pattern Recognition, Segmentation, Smoothing, Parallel Thinning
15Miloslav Nepil Learning to Parse from a Treebank: Combining TBL and ILP. Search on Bibsonomy ILP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF corpus-based parser construction, transformation-based learning, inductive logic programming, grammar induction
15Thomas Barkowsky Mental Processing of Geographic Knowledge. Search on Bibsonomy COSIT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF spatial knowledge construction, mental imagery, experimental computational modeling, Cognitive maps, diagrammatic reasoning
15Jürg Bolliger, Thomas R. Gross A Framework-Based Approach to the Development of Network-Aware Applications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF network-aware computing, QoS, frameworks, Adaptive applications, software construction
15Michael Buro From Simple Features to Sophisticated Evaluation Functions. Search on Bibsonomy Computers and Games The full citation details ... 1998 DBLP  DOI  BibTeX  RDF automatic feature construction, GLEM, Othello
15Sandeepan Sanyal, Laila Nahar, Sourav Bhattacharya Real-time multicast in wireless communication. Search on Bibsonomy ICPP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF source to leaf node, multicast tree re-construction, reconstruction delay, wireless LAN, reconfiguration, hypercube, cellular network, multicast tree, cellular wireless networks
15Brigitte Wirtz Average prototypes for stroke-based signature verification. Search on Bibsonomy ICDAR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF stroke-based signature verification, average prototypes, enrolment subsystem, verification subsystem, reference construction, verification rates, position-based averaging, time-based averaging, representative input signatures, varying stroke structures, missing strokes, additional strokes, natural stroke structure, input signatures, handwriting recognition, error rate, dynamic signature verification
15Gerhard Fischer, Kumiyo Nakakoji, Jonathan L. Ostwald, Gerry Stahl, Tamara Sumner Embedding computer-based critics in the contexts of design. Search on Bibsonomy INTERCHI The full citation details ... 1993 DBLP  DOI  BibTeX  RDF critiquing systems, domain orientation, generic critics, interpretive critics, specific critics, specification, construction, design environments, perspectives
15Albert C. Chen, Chuan-lin Wu A Parallel Execution Model of Logic Programs. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF parallel execution model, nondeterministic logic program, frame inheritance, dynamic construction, computational complexity, computational complexity, logic programs, logic programming, modularity, communication channels, OR parallelism, AND parallelism, data-dependency graphs
15Dipankar Sarkar 0001, S. C. De Sarkar A Theorem Prover for Verifying Iterative Programs Over Integers. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF rule-based theorem prover, iterative programs, overall proof construction strategy, array-sorting program, expert systems, theorem proving, program verification, performance measures, iterative methods, correctness proofs
15Gregor von Bochmann, Rachida Dssouli, J. R. Zhao Trace Analysis for Conformance and Arbitration Testing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF arbitration testing, implementation under test, IUT, communication protocol implementations, distributed test architectures, partial input/output traces, local observers, error-detection power, global knowledge, automated construction, trace analysis modules, reference specification, open systems interconnection, formal specification, protocols, transport protocol, program testing, open systems, conformance testing, conformance testing, OSI
15Ernst-Rüdiger Olderog From Trace Specifications to Process Terms. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF COSY, many-sorted first order logic, trace logic, process correctness, externally deterministic, modified readiness semantics, top-down construction, mixed terms, Milner's scheduling problem, communication, Petri nets, specification, transformations, safety, CSP, liveness, CCS, Concurrent processes
15Ching-Hua Chow, Simon S. Lam PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF communication protocols verification, PROSPEC, interactive programming environment, fair reachability analysis, multiphase construction, protocol projection, BSC, X.21, X.25, Telnet document transfer protocols, protocols, specification, software tools, programming environments, graphical interface, interactive programming
15Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten Models and temporal logical specifications for timed component connectors. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF 1998 ACM Computing Classsification C.2.4, D.1.3, D.2.4, D.2.6, D.2.11, D.2.13, D.3.2, D.3.3, F.1.2, F.3.1, F.3.3, F.3.2
15Ian Flood Project planning using an interactive, structured modeling environment. Search on Bibsonomy WSC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
15Frank Neumann 0001, Carsten Witt Ant Colony Optimization and the Minimum Spanning Tree Problem. Search on Bibsonomy LION The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
15Kenji Kawashima, Takahiro Sasaki, Ai Ohkubo, Toshiyuki Miyata, Toshiharu Kagawa Application of Robot Arm using Fiber Knitted Type Pneumatic Artificial Rubber Muscles. Search on Bibsonomy ICRA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
15Hiroaki Yamamoto A New Translation from Semi-extended Regular Expressions into NFAs and Its Application to an Approximate Matching Problem. Search on Bibsonomy ISAAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Jungwuk Kim, Daniel W. Halpin, Dulcy M. Abraham Interactive Simulation System. Search on Bibsonomy IV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
15Alexander E. Andreev, Juri L. Baskakov, Andrea E. F. Clementi, José D. P. Rolim Small Pseudo-Random Sets Yield Hard Functions: New Tight Explict Lower Bounds for Branching Programs. Search on Bibsonomy ICALP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
15Robert Morelos-Zaragoza, Shu Lin 0001 Some Results on Linear Unequal-Error-Protection Codes Specified by their Generator Matrix. Search on Bibsonomy AAECC The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
Displaying result #701 - #800 of 45332 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license