Search results for "deriving"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
53	Wan-Chih Sun, Tsung-Ren Yang, Chih-Chin Liang, Ping-Yu Hsu 0001, Yuh-Wei Kung	The Effects of Computer Assisted Instruction to Train People with Reading Disabilities Recognizing Chinese Characters.	ICCPOL	2006	DBLP DOI BibTeX RDF	Reading Disabilities, Recognition of Chinese Characters, Stem-Deriving Instruction, Education, Interactive Learning Environment
41	Chung-Sheng Li, Vittorio Castelli	Deriving Texture Feature Set for Content-Based Retrieval of Satellite Image Database.	ICIP (1)	1997	DBLP DOI BibTeX RDF	deriving texture feature set, satellite image database, transformed-based texture features, spatial-based texture features, Brodatz set, normalized Euclidean distance, transformed-based feature sets, quadrature mirror filter, performance, benchmark, content-based retrieval, Gabor filter, visual databases
35	Jeremy Yallop	Practical generic programming in OCaml.	ML	2007	DBLP DOI BibTeX RDF	generic programming, deriving, OCaml
35	Richard Conn	Software Systems Requirements.	ACM J. Educ. Resour. Comput.	2002	DBLP DOI BibTeX RDF	Consortium Requirements Engineering, Evolutionary Spiral Model, Requirements-Based Testing, development requirements specifications interactively, documenting requirements, dynamics of interviewing, deriving and validating software requirements, problem domain modeling, rapid prototyping aids, requirements engineering methodologies, user/customer involvement, UML, formal methods, Z, extracting, SPARK
29	Xiangfu Zhao, Dantong Ouyang	Improved Algorithms for Deriving All Minimal Conflict Sets in Model-Based Diagnosis.	ICIC (1)	2007	DBLP DOI BibTeX RDF	conflict set, set enumeration tree (SE-tree), model-based diagnosis, hitting set
29	Tatsuya Akutsu, Mutsunori Yagiura	On the Complexity of Deriving Score Functions from Examples for Problems in Molecular Biology.	ICALP	1998	DBLP DOI BibTeX RDF
29	Roberto Souto Maior de Barros	Deriving Relational Database Programs from Formal Specifications.	FME	1994	DBLP DOI BibTeX RDF
24	Marilena Oita	Deriving Semantic Objects from the Structured Web. (Deriving Semantic Objects from the Structured Web (Inférer des Objects Sémantiques du Web Structuré)).		2012	RDF
24	Neil A. Dodgson, Ursula H. Augsdörfer, Thomas J. Cashman 0001, Malcolm A. Sabin	Deriving Box-Spline Subdivision Schemes.	IMA Conference on the Mathematics of Surfaces	2009	DBLP DOI BibTeX RDF
24	Seunghun Park, KeungSik Choi, Kyung-A Yoon, Doo-Hwan Bae	Deriving Software Process Simulation Model from SPEM-based Software Process Model.	APSEC	2007	DBLP DOI BibTeX RDF
24	Dubravka Ilic	Deriving Formal Specifications from Informal Requirements.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
24	Olfa Djebbi, Camille Salinesi	RED-PL, a Method for Deriving Product Requirements from a Product Line Requirements Model.	CAiSE	2007	DBLP DOI BibTeX RDF	Requirements, Product Line, Derivation
24	Hua Zhang 0006, Changqian Zhu	Deriving Linear Transformations in 3D Using Quaternion Algebra.	IEEE Computer Graphics and Applications	2005	DBLP DOI BibTeX RDF	quaternion and linear transformation
24	Leonardo Cole, Paulo Borba	Deriving refactorings for AspectJ.	AOSD	2005	DBLP DOI BibTeX RDF	aspect-oriented programming, refactoring, separation of concerns, AspectJ
24	Leonardo Cole, Paulo Borba	Deriving refactorings for aspectJ.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	aspect-oriented programming, refactoring, separation of concerns, aspectJ
24	Theo A. Arentze, Frank Hofman, Harry J. P. Timmermans	Deriving rules from activity diary data: A learning algorithm and results of computer experiments.	J. Geogr. Syst.	2001	DBLP DOI BibTeX RDF
24	King Sing Cheung, K. O. Chow, T. Y. Cheung	Deriving Scenarios Of Object Interaction Through Petri Net.	TOOLS (27)	1998	DBLP DOI BibTeX RDF	object lifecycle, Petri net, object interaction, object behaviour
24	Eric A. Wan, Françoise Beaufays	Diagrammatic Methods for Deriving and Relating Temporal Neural Network Algorithms.	Summer School on Neural Networks	1997	DBLP DOI BibTeX RDF
24	Kristof Verschaetse, Danny De Schreye	Deriving of Linear Size Relations by Abstract Interpretation.	PLILP	1992	DBLP DOI BibTeX RDF
24	Alberto Pettorossi	Transformation Strategies for Deriving On Line Programs.	CAAP	1986	DBLP DOI BibTeX RDF
23	Paul Balister, Béla Bollobás, Amites Sarkar, Santosh Kumar 0001	Reliable density estimates for coverage and connectivity in thin strips of finite length.	MobiCom	2007	DBLP DOI BibTeX RDF	wireless sensor networks, connectivity, coverage, network topology, deployment, critical, random geometric graphs, barrier coverage
23	Kenneth M. Dawson, David Vernon	3-D Object Recognition using Passively Sensed Range Data.	ECCV	1992	DBLP DOI BibTeX RDF
18	Rakesh Shukla	Deriving parameter characteristics.	ISEC	2009	DBLP DOI BibTeX RDF	software component, formal concept analysis, statistical testing, operational profile
18	María Isabel González Vasco, Jorge Luis Villar	In search of mathematical primitives for deriving universal projective hash families.	Appl. Algebra Eng. Commun. Comput.	2008	DBLP DOI BibTeX RDF	Projective hash families, Provable security, Public key encryption
18	Haihe Shi, Jinyun Xue, Dawei Du	A Mechanical Approach for Deriving Algorithmic Programs.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF
18	Karthikeyan Ponnalagu, Nanjangud C. Narendra	Deriving service variants from business process specifications.	Bangalore Compute Conf.	2008	DBLP DOI BibTeX RDF	service-oriented architecture, reuse, business process
18	Juan A. Colmenares, Chansik Im, K. H. (Kane) Kim, Raymond Klefstad, Chae-Deok Lim	Measurement Techniques in a Hybrid Approach for Deriving Tight Execution-time Bounds of Program Segments in Fully-featured Processors.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF
18	Arie Croitoru	Deriving and Mining Spatiotemporal Event Schemas in In-Situ Sensor Data.	ICCSA (1)	2008	DBLP DOI BibTeX RDF
18	Julian Rathke, Pawel Sobocinski 0001	Deriving Structural Labelled Transitions for Mobile Ambients.	CONCUR	2008	DBLP DOI BibTeX RDF
18	David Bell, Sergio de Cesare, Nicola Iacovelli, Mark Lycett, Antonio Merico	A framework for deriving semantic web services.	Inf. Syst. Frontiers	2007	DBLP DOI BibTeX RDF	Service content interpretation, Semantic web services, Scoping, Ontological modeling, Harmonization
18	Alisa Kongthon, Niran Angkawattanawit	Deriving Tree-Structured Network Relations in Bibliographic Databases.	ICADL	2007	DBLP DOI BibTeX RDF	Tree-structured networks, text mining, association rule mining, research and development management, bibliographic databases
18	Olfa Djebbi, Camille Salinesi, Daniel Diaz 0001	Deriving Product Line Requirements: the RED-PL Guidance Approach.	APSEC	2007	DBLP DOI BibTeX RDF
18	Guillaume Pitel, Christophe Millet, Gregory Grefenstette	Deriving a Priori Co-occurrence Probability Estimates for Object Recognition from Social Networks and Text Processing.	ISVC (2)	2007	DBLP DOI BibTeX RDF
18	Martin Hepp, Jos de Bruijn	GenTax: A Generic Methodology for Deriving OWL and RDF-S Ontologies from Hierarchical Classifications, Thesauri, and Inconsistent Taxonomies.	ESWC	2007	DBLP DOI BibTeX RDF	RDF-S, UNSPSC, eCl@ss, classifications, reuse, OWL, taxonomies, e-business, Ontology engineering, ontology learning, thesauri
18	Barbara König 0001	Deriving Bisimulation Congruences with Borrowed Contexts.	CALCO	2007	DBLP DOI BibTeX RDF
18	Hywel R. Dunn-Davies, Jim Cunningham	Deriving agent-centred representations of protocols described using propositional statecharts.	AAMAS	2007	DBLP DOI BibTeX RDF	propositional statecharts, statecharts, interaction protocols
18	Christoph Ringlstetter, Ulrich Reffle, Annette Gotscharek, Klaus U. Schulz	Deriving Symbol Dependent Edit Weights for Text Correction_The Use of Error Dictionaries.	ICDAR	2007	DBLP DOI BibTeX RDF
18	H. Ying	Deriving Analytical Input-Output Relationship for Fuzzy Controllers Using Arbitrary Input Fuzzy Sets and Zadeh Fuzzy AND Operator.	IEEE Trans. Fuzzy Syst.	2006	DBLP DOI BibTeX RDF
18	John Regehr, Usit Duongsaa	Deriving abstract transfer functions for analyzing embedded software.	LCTES	2006	DBLP DOI BibTeX RDF	static analysis, abstract interpretation, embedded software, transfer functions
18	Guoyan Zheng, Xuan Zhang	A Unifying MAP-MRF Framework for Deriving New Point Similarity Measures for Intensity-based 2D-3D Registration.	ICPR (2)	2006	DBLP DOI BibTeX RDF
18	Elke Achtert, Christian Böhm 0001, Hans-Peter Kriegel, Peer Kröger, Arthur Zimek	Deriving quantitative models for correlation clusters.	KDD	2006	DBLP DOI BibTeX RDF	cluster description, cluster model, data mining, clustering, correlation clustering
18	Zoran Milosevic, Shazia Wasim Sadiq, Maria E. Orlowska	Towards a Methodology for Deriving Contract-Compliant Business Processes.	Business Process Management	2006	DBLP DOI BibTeX RDF
18	José A. B. Fortes, Renato J. O. Figueiredo, Linda Hermer-Vazquez, José Carlos Príncipe, Justin C. Sanchez	A New Architecture for Deriving Dynamic Brain-Machine Interfaces.	International Conference on Computational Science (3)	2006	DBLP DOI BibTeX RDF
18	Dimitar Kazakov, Iain Bate	Towards New Methods for Developing Real-Time Systems: Automatically Deriving Loop Bounds Using Machine Learning.	ETFA	2006	DBLP DOI BibTeX RDF
18	Lionel C. Briand, Yvan Labiche, Jim Cui	Automated support for deriving test requirements from UML statecharts.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF
18	Takashi Washio, Koutarou Nakanishi, Hiroshi Motoda	Deriving Class Association Rules Based on Levelwise Subspace Clustering.	PKDD	2005	DBLP DOI BibTeX RDF
18	Sergey Kornienko, Olga Kornienko, Paul Levi	Swarm Embodiment - A New Way for Deriving Emergent Behavior in Artificial Swarms.	AMS	2005	DBLP DOI BibTeX RDF
18	Pavel Paclík, Thomas C. W. Landgrebe, David M. J. Tax, Robert P. W. Duin	On Deriving the Second-Stage Training Set for Trainable Combiners.	Multiple Classifier Systems	2005	DBLP DOI BibTeX RDF
18	Sadok Ben Yahia, Yahya Slimani, Jihem Rezgui	A Divide and Conquer Approach for Deriving Partially Ordered Sub-structures.	PAKDD	2005	DBLP DOI BibTeX RDF
18	Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde	Deriving tabular event-based specifications from goal-oriented requirements models.	Requir. Eng.	2004	DBLP DOI BibTeX RDF	Specification transformation, Lightweight formal analysis, Goal-oriented requirements engineering, Method integration, SCR
18	Domenico Rosaci, Giorgio Terracina, Domenico Ursino	An Approach for Deriving a Global Representation of Data Sources Having Different Formats and Structures.	Knowl. Inf. Syst.	2004	DBLP DOI BibTeX RDF	Intensional information source integration, Inter-source properties, Structured and semi-structured information sources, Metadata
18	Hartmut Ehrig, Barbara König 0001	Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting.	FoSSaCS	2004	DBLP DOI BibTeX RDF
18	Pasquale De Meo, Giovanni Quattrone, Giorgio Terracina, Domenico Ursino	Deriving Sub-schema Similarities from Semantically Heterogeneous XML Sources.	CoopIS/DOA/ODBASE (1)	2004	DBLP DOI BibTeX RDF
18	Catherine Meadows 0001, Dusko Pavlovic	Deriving, Attacking and Defending the GDOI Protocol.	ESORICS	2004	DBLP DOI BibTeX RDF
18	Lionel C. Briand, Jim Cui, Yvan Labiche	Towards Automated Support for Deriving Test Data from UML Statecharts.	UML	2003	DBLP DOI BibTeX RDF
18	Silke Höppner	An Agents' Definition Framework and a Methodology for Deriving Agents' Taxonomies.	KI	2003	DBLP DOI BibTeX RDF
18	Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde	Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models.	RE	2003	DBLP DOI BibTeX RDF
18	Vladimiro Sassone, Pawel Sobocinski 0001	Deriving Bisimulation Congruences: 2-Categories Vs Precategories.	FoSSaCS	2003	DBLP DOI BibTeX RDF
18	Jan L. G. Dietz	Deriving Use Cases from Business Process Models.	ER	2003	DBLP DOI BibTeX RDF
18	Andrew Strelzoff, Linda R. Petzold	Deriving User Interface Requirements from Densely Interleaved Scientific Computing Applications.	ASE	2003	DBLP DOI BibTeX RDF	user interface requirements, reverse engineering, scientific computing, automated software engineering, XML technology
18	Gautam Pant	Deriving link-context from HTML tag tree.	DMKD	2003	DBLP DOI BibTeX RDF	link-context, tag tree, DOM
18	Weiquan Zhao, David A. Kearney	Deriving Architectures of Web-Based Applications.	APWeb	2003	DBLP DOI BibTeX RDF
18	Richard Dazeley, Byeong Ho Kang 0001	Weighted MCRDR: Deriving Information about Relationships between Classifications in MCRDR.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF
18	Tatsuya Akutsu, Hideo Bannai, Satoru Miyano, Sascha Ott	On the Complexity of Deriving Position Specific Score Matrices from Examples.	CPM	2002	DBLP DOI BibTeX RDF
18	Eric Nyberg, Teruko Mitamura, Kathryn L. Baker, David Svoboda, Brian Peterson, Jennifer Williams	Deriving Semantic Knowledge from Descriptive Texts Using an MT System.	AMTA	2002	DBLP DOI BibTeX RDF
18	Anja Feldmann, Albert G. Greenberg, Carsten Lund, Nick Reingold, Jennifer Rexford, Fred True	Deriving traffic demands for operational IP networks: methodology and experience.	IEEE/ACM Trans. Netw.	2001	DBLP DOI BibTeX RDF	Internet, routing, measurement, traffic engineering
18	John C. S. Lui	Constructing Communication Subgraphs and Deriving an Optimal Synchronization Interval for Distributed Virtual Environment Systems.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	optimal synchronization interval, Markov chains, Distributed virtual environment, fundamental matrix
18	William Perrizo, Qin Ding 0001, Qiang Ding, Amalendu Roy	Deriving High Confidence Rules from Spatial Data Using Peano Count Trees.	WAIM	2001	DBLP DOI BibTeX RDF
18	Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu	Deriving Pre-conditions for Array Bound Check Elimination.	PADO	2001	DBLP DOI BibTeX RDF
18	Chris Hunter, Paul A. Strooper	Systematically Deriving Partial Oracles for Testing Concurrent Programs.	ACSC	2001	DBLP DOI BibTeX RDF
18	Zhenyi Jin, Jeff Offutt	Deriving Tests From Software Architectures.	ISSRE	2001	DBLP DOI BibTeX RDF
18	François Siewe, Dang Van Hung	Deriving Real-Time Programs from Duration Calculus Specifications.	CHARME	2001	DBLP DOI BibTeX RDF	Continuous specification, discrete design, Hoare triples, concurrency, real-time program, shared variables
18	Domenico Rosaci, Giorgio Terracina, Domenico Ursino	Deriving "Sub-source" Similarities from Heterogeneous, Semi-structured Information Sources.	CoopIS	2001	DBLP DOI BibTeX RDF
18	Donald B. Shaw, Dhamin Al-Khalili, Côme Rozon	Deriving accurate ASIC cell fault models for VITAL compliant VHDL simulation.	ISCAS (5)	2001	DBLP DOI BibTeX RDF
18	Eugene C. Freuder, Chavalit Likitvivatanavong, Richard J. Wallace	Deriving Explanations and Implications for Constraint Satisfaction Problems.	CP	2001	DBLP DOI BibTeX RDF
18	Georg Struth	Deriving Focused Calculi for Transitive Relations.	RTA	2001	DBLP DOI BibTeX RDF
18	Pieter J. Mosterman, Gautam Biswas	Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems.	HSCC	2000	DBLP DOI BibTeX RDF
18	Anja Feldmann, Albert G. Greenberg, Carsten Lund, Nick Reingold, Jennifer Rexford, Fred True	Deriving traffic demands for operational IP networks: methodology and experience.	SIGCOMM	2000	DBLP DOI BibTeX RDF	TCP/IP
18	Ralf Hinze	Deriving backtracking monad transformers.	ICFP	2000	DBLP DOI BibTeX RDF	Prolog, Prolog, Haskell, Haskell, continuations, monads, backtracking, cut, program derivation, PEARL, monad transformers
18	Janez Zerovnik	Deriving Formulas for Domination Numbers of Fasciagraphs and Rotagraphs.	FCT	1999	DBLP DOI BibTeX RDF
18	John C. S. Lui, Oldfield K. Y. So, T. S. Tam	Deriving Communication Sub-Graph and Optimal Synchronizing Interval for a Distributed Virtual Environment System.	ICMCS, Vol. 2	1999	DBLP DOI BibTeX RDF	syncrhonization, communication sub-graphs, performance evaluations, distributed virtual environment
18	Luigi Palopoli 0001, Domenico Saccà, Giorgio Terracina, Domenico Ursino	A Unified Graph-Based Framework for Deriving Nominal Interscheme Properties, Type Conflicts and Object Cluster Similarities.	CoopIS	1999	DBLP DOI BibTeX RDF	Interscheme property extraction, object similarity metrics, graph-based techniques, similarities between subschemes
18	Gokul V. Subramaniam, Eric J. Byrne	Deriving an Object Model from Legacy Fortran Code.	ICSM	1996	DBLP DOI BibTeX RDF
18	Kamlesh G. Kumar, Dattatraya Kulkarni, Anupam Basu	Deriving good transformations for mapping nested loops on hierarchical parallel machines in polynomial time.	ICS	1992	DBLP DOI BibTeX RDF
18	Richard H. Carver, Kuo-Chung Tai	Static analysis of concurrent software for deriving synchronization constraints.	ICDCS	1991	DBLP DOI BibTeX RDF
18	Xiaoxiong Zhong, Sanjay V. Rajopadhye	Deriving Fully Efficient Systolic Arrays by Quasi-Linear Allocation Functions.	PARLE (1)	1991	DBLP DOI BibTeX RDF
18	Reinhard Gotzhein, Gregor von Bochmann	Deriving Protocol Specifications from Service Specifications Including Parameters.	ACM Trans. Comput. Syst.	1990	DBLP DOI BibTeX RDF	automated protocol design, communication service specification, protocol derivation
18	Allen Van Gelder	Deriving Constraints Among Argument Sizes in Logic Programs.	PODS	1990	DBLP DOI BibTeX RDF
18	Kenneth L. Calvert, Simon S. Lam	Deriving a Protocol Converter: A Top-Down Method.	SIGCOMM	1989	DBLP DOI BibTeX RDF
18	Ferhat Khendek, Gregor von Bochmann, Christian Kant	New Results on Deriving Protocol Specifications from Service Specifications.	SIGCOMM	1989	DBLP DOI BibTeX RDF
18	Ben Liu, Hejie Chen, Wei He	Wiki-based collaborative learning: incorporating self-assessment tasks.	Int. Sym. Wikis	2008	DBLP DOI BibTeX RDF	item model, wiki-based collaborative learning, formative assessment, computer assisted assessment
18	Chun Chen 0002, Jacqueline Chame, Mary W. Hall, Kristina Lerman	A Systematic Approach to Model-Guided Empirical Search for Memory Hierarchy Optimization.	LCPC	2005	DBLP DOI BibTeX RDF
18	Henry Muccini, Antonia Bertolino, Paola Inverardi	Using Software Architecture for Code Testing.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	Software engineering, software architectures, tracing, testing strategies, testing and debugging
18	Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario	Timed State Space Analysis of Real-Time Preemptive Systems.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	nondeterministic time parameters, timeliness predictability, Preemptive Time Petri Nets, reactive systems, multiprocessor schedulability, Hard real-time systems, interprocess communication, preemptive scheduling, state space analysis
18	Shoukat Ali, Howard Jay Siegel, Anthony A. Maciejewski	The Robustness of Resource Allocation in Parallel and Distributed Computing Systems.	ISPDC/HeteroPar	2004	DBLP DOI BibTeX RDF
18	Hamidah Ibrahim	A Strategy for Semantic Integrity Checking in Distributed Databases.	ICPADS	2002	DBLP DOI BibTeX RDF
18	Vincenzo Martena, Alessandro Orso, Mauro Pezzè	Interclass Testing of Object Oriented Software.	ICECCS	2002	DBLP DOI BibTeX RDF
18	Kazuo Ohta, Tatsuaki Okamoto	A Digital Multisignature Scheme Based on the Fiat-Shamir Scheme.	ASIACRYPT	1991	DBLP DOI BibTeX RDF
18	Frank A. Stomp	A Derivation of a Broadcasting Protocol Using Sequentially Phased Reasoning.	REX Workshop	1989	DBLP DOI BibTeX RDF
18	Phillip D. Summers	A Methodology for LISP Program Construction from Examples.	J. ACM	1977	DBLP DOI BibTeX RDF	LISP