Search results for "elementary"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
78	SookKyoung Choi, Tim Bell 0001, Soo Jin Jun, Won-Gyu Lee	Designing offline computer science activities for the korean elementary school curriculum.	ITiCSE	2008	DBLP DOI BibTeX RDF	elementary school education, kinesthetic activities, curriculum
63	Eunjin Jung, Alex X. Liu, Mohamed G. Gouda	Key Bundels and Parcels: Secure Communication in Many Groups.	Networked Group Communication	2003	DBLP DOI BibTeX RDF
50	Julia Padberg, Hartmut Ehrig, Grzegorz Rozenberg	Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF	place/transition nets, elementary nets, uniform approach, realization problem, category theory
49	Adam W. Strzebonski	Real root isolation for tame elementary functions.	ISSAC	2009	DBLP DOI BibTeX RDF	real root isolation, solving equations, elementary functions
47	Charles André	Delays in synchronized elementary net systems.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	Synchronized Elementary Net Systems, Delay, Process, Time Petri nets, POset, Elementary Net Systems, Dioid
45	Tomiyuki Fukunaga, Qi-Wei Ge, Mitsuru Nakata	On generating elementary T-invariants of Petri nets by linear programming.	ISCAS (1)	2005	DBLP DOI BibTeX RDF
45	Yu-Fen Chen, Sung-Bin Chang, Chen-Chung Liu, Tak-Wai Chan, Ming-Hung Yu, Yun-Chen Lu	Elementary Science Classroom Learning with Wireless Response Devices - Implementing Active and Experiential Learning.	WMTE	2005	DBLP DOI BibTeX RDF
43	L. Darrell Whitley, Francisco Chicano, Enrique Alba 0001, Francisco Luna 0001	Elementary landscapes of frequency assignment problems.	GECCO	2010	DBLP DOI BibTeX RDF	elementary landscapes, fitness landscapes
43	Shinobu Nagayama, Tsutomu Sasao	Representations of Two-Variable Elementary Functions Using EVMDDs and their Applications to Function Generators.	ISMVL	2008	DBLP DOI BibTeX RDF	EVMDD, EVBDD, two-variable elementary functions, l-restricted Mp-monotone increasing functions, function generators
43	Stephen S. Bullock, Igor L. Markov	An arbitrary twoqubit computation In 23 elementary gates or less.	DAC	2003	DBLP DOI BibTeX RDF	CNOT, circuit decomposition, elementary gates, lie theory, optimization, algorithms, lower bounds, synthesis, quantum circuits, qubit
43	Heikki Tuominen	Elementary net systems and dynamic logic.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	axiomatization of properties, model checking, Petri nets, temporal logic, Dynamic logic, elementary net systems, model synthesis
41	Weng-Fai Wong, Eiichi Goto	Fast Hardware-Based Algorithms for Elementary Function Computations Using Rectangular Multipliers.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	hardware-based algorithms, elementary function computations, rectangular multipliers, common elementary functions, reciprocal square root, arc tangent, microscopic parallelism, floating point multiplication, scientific computations, digital arithmetic, error analysis, sine, cosine
39	Martin Gebser, Joohyung Lee 0002, Yuliya Lierler	Head-Elementary-Set-Free Logic Programs.	LPNMR	2007	DBLP DOI BibTeX RDF
39	ZhiWu Li 0001, MengChu Zhou	Some results and open problems concerning elementary siphons of Petri nets.	SMC (2)	2004	DBLP DOI BibTeX RDF
38	Francisco Chicano, Gabriel Luque, Enrique Alba 0001	Elementary landscape decomposition of the quadratic assignment problem.	GECCO	2010	DBLP DOI BibTeX RDF	elementary landscapes, fitness landscapes, quadratic assignment problem
38	L. Darrell Whitley, Andrew M. Sutton	Partial neighborhoods of elementary landscapes.	GECCO	2009	DBLP DOI BibTeX RDF	elementary landscapes, fitness landscapes
38	Yuriy Zinchenko	On hyperbolicity cones associated with elementary symmetric polynomials.	Optim. Lett.	2008	DBLP DOI BibTeX RDF	Hyperbolic polynomials, Hyperbolicity cones, Elementary symmetric polynomials, Positive semi-definite representability
38	Jérémie Detrey, Florent de Dinechin, Xavier Pujol	Return of the hardware floating-point elementary function.	IEEE Symposium on Computer Arithmetic	2007	DBLP DOI BibTeX RDF	Floating-point elementary functions, hardware operator, FPGA, exponential, logarithm
38	Heping Zhang	Regular Coronoids and Ear Decompositions of Plane Elementary Bipartite Graphs.	CJCDGCGT	2005	DBLP DOI BibTeX RDF	Regular coronoid, normal coronoid, plane elementary bipartite graph, regular decomposition, perfect matching, ear decomposition
38	Yongdong Wu	Aggregating signatures of MPEG-4 elementary streams.	ICME	2005	DBLP DOI BibTeX RDF	verification time, aggregated signature scheme, MPEG-4 elementary stream, authentic distribution, transmission overhead
38	Emanuele Covino, Giovanni Pani, Salvatore Caporaso	Extending the Implicit Computational Complexity Approach to the Sub-elementary Time-Space Classes.	CIAC	2000	DBLP DOI BibTeX RDF	time-space classes, elementary functions, implicit computational complexity
38	Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt	Reasoning about the Elementary Functions of Complex Analysis.	AISC	2000	DBLP DOI BibTeX RDF	Complex identities, Topics: AI and Symbolic Mathematical Computing, Integration of Logical Reasoning and Computer Algebra, Elementary functions, Branch cuts
38	Charles André	Synchronized elementary net systems.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	Labelled POset, Synchronization, Process, Time Petri Nets, Elementary net systems
35	Klaus Reinhardt	The Complexity of Translating Logic to Finite Automata.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
34	ZhiWu Li 0001, MengChu Zhou	Control of Elementary and Dependent Siphons in Petri Nets and Their Application.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
34	Shinobu Nagayama, Tsutomu Sasao	Representations of Elementary Functions Using Edge-Valued MDDs.	ISMVL	2007	DBLP DOI BibTeX RDF
34	Thorsten Frohlich, Susan Feinberg	Challenges to User Testing E-Learning Games with Children in Elementary Schools.	ISM	2006	DBLP DOI BibTeX RDF
34	Yeongwha Lee, Woochun Jun, Byeong Heui Kwak	Curriculum Development for the Gifted Elementary School Students in Computer.	Edutainment	2006	DBLP DOI BibTeX RDF
34	Gianpiero Cattaneo, Michele Finelli, Luciano Margara	Topological Chaos for Elementary Cellular Automata.	CIAC	1997	DBLP DOI BibTeX RDF
34	John Power	Elementary Control Structures.	CONCUR	1996	DBLP DOI BibTeX RDF
34	Miki Hermann, Phokion G. Kolaitis	Computational Complexity of Simultaneous Elementary Matching Problems (Extended Abstract).	MFCS	1995	DBLP DOI BibTeX RDF
33	Boris I. Plotkin, Tatjana L. Plotkin	Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
33	Min Tang 0001, Sung-Eui Yoon, Dinesh Manocha	Adjacency-based culling for continuous collision detection.	Vis. Comput.	2008	DBLP DOI BibTeX RDF	Adjacency-based culling, Elementary test, Continuous collision detection, Duplication elimination
33	Nathan O. Scott, Gerhard W. Dueck	Pairwise decomposition of toffoli gates in a quantum circuit.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	elementary quantum gates, synthesis, minimization, reversible logic, quantum circuits
33	Oleg V. Kudinov, Victor L. Selivanov	Undecidability in the Homomorphic Quasiorder of Finite Labeled Forests.	CiE	2006	DBLP DOI BibTeX RDF	homomorphic quasiorder, elementary theory, Tree, undecidability, forest, labeled tree
33	Takao Terano, Fusako Kusunoki, Yasushi Harada, Miki Namatame	Practice! YUBIMOJI AIUEO for Japanese Hand Language Learning.	ICEC	2004	DBLP DOI BibTeX RDF	Edutainment for Elementary School Pupils, Learning Hand Characters, Classroom Experiments, Visual Interface
33	Michael J. Schulte, James E. Stine	Accurate Function Approximations by Symmetric Table Lookup and Addition.	ASAP	1997	DBLP DOI BibTeX RDF	multi-operand addition, approximations, computer arithmetic, hardware, error analysis, floating point, table lookup, Elementary functions, Taylor series, symmetric
32	Maciej Koutny, Marta Pietkiewicz-Koutny	Synthesis of Elementary Net Systems with Context Arcs and Localities.	ICATPN	2007	DBLP DOI BibTeX RDF	theory of concurrency, net synthesis, step sequence semantics, inhibitor arcs, activator arcs, context arcs, Petri nets, localities, transition systems, structure and behaviour of nets, elementary net systems, theory of regions
32	Tapani Hyttinen	Uncountably categorical local tame abstract elementary classes with disjoint amalgamation.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Abstract elementary classes, Structure theorem, Categoricity
32	Klaus Aehlig, Jan Johannsen	An elementary fragment of second-order lambda calculus.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	Elementary recursive functions, complexity, lambda calculus, second order logic
32	Richard B. Lehoucq	The Computation of Elementary Unitary Matrices.	ACM Trans. Math. Softw.	1996	DBLP DOI BibTeX RDF	Hermitian, elementary matrices, householder reflectors, unitary
32	Sue Fitzgerald, Jerry Place	Teaching elementary queueing theory with a computer algebra system.	SIGCSE	1995	DBLP DOI BibTeX RDF	elementary queueing theory, teaching techniques, Maple, Maple, computer algebra, CAS, MACSYMA, Birth-Death process
32	Thomas E. Hull, Thomas F. Fairgrieve, Ping Tak Peter Tang	Implementing complex elementary functions using exception handling.	ACM Trans. Math. Softw.	1994	DBLP DOI BibTeX RDF	complex elementary functions, implementation
32	Dennis F. Dunn, William E. Higgins, Joseph Wakeley	Texture Segmentation using 2-D Gabor Elementary Functions.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	2-D Gabor elementary functions, textured image decomposition, joint space/spatial-frequency representation, texture differences, filter configurations, output discontinuities, step change, asymmetric filters, image segmentation, image segmentation, filtering and prediction theory, texture segmentation, ridge, band-pass filters, valley, bandpass filter
31	Giorgio De Michelis	Constraints and Extensions in a Calculus of EN Systems.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Elementary Transition Systems, Net Morphisms, unary operations on nets, Regions, Elementary Net Systems
29	Zièd Choukair	Correctness Proof Obligation for CoCTelS Telecom Services Composition Model.	AINA	2005	DBLP DOI BibTeX RDF
28	Jeonghye Han, Seungmin Lee, Bokhyun Kang, Sungju Park, Jungkwan Kim, Myungsook Kim, Mihee Kim	A trial english class with a teaching assistant robot in elementary school.	HRI	2010	DBLP DOI BibTeX RDF	english class, robot storytelling, teaching assistant robot, language learning
28	Shinobu Nagayama, Tsutomu Sasao	Complexities of Graph-Based Representations for Elementary Functions.	IEEE Trans. Computers	2009	DBLP DOI BibTeX RDF
28	Manuel Lameiras Campagnolo, Kerry Ojakian	The elementary computable functions over the real numbers: applying two new techniques.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 68Q15
28	L. Darrell Whitley, Andrew M. Sutton, Adele E. Howe	Understanding elementary landscapes.	GECCO	2008	DBLP DOI BibTeX RDF	combinatorial optimization, local search
28	Maciej Koutny, Marta Pietkiewicz-Koutny	Transition Systems of Elementary Net Systems with Localities.	CONCUR	2006	DBLP DOI BibTeX RDF
28	Jörg Moldenhauer, Ingo Boesnach, Thorsten Stein, Andreas Fischer 0003	Composition of Complex Motion Models from Elementary Human Motions.	AMDO	2006	DBLP DOI BibTeX RDF
28	Koji Hashimoto, Vasily G. Moshnyaga, Kazuaki J. Murakami	Circuit Area-latency Optimization Technique for High-precision Elementary Functions.	APCCAS	2006	DBLP DOI BibTeX RDF
28	Ewa Orlowska, Andrzej Szalas	Quantifier Elimination in Elementary Set Theory.	RelMiCS	2005	DBLP DOI BibTeX RDF
28	Ren-Cang Li	Near Optimality of Chebyshev Interpolation for Elementary Function Computations.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
28	ZhiWu Li 0001, MengChu Zhou	Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
28	ZhiWu Li 0001, XiangFeng Zhang	A deadlock prevention approach using elementary siphons for a class of Petri nets.	SMC (2)	2004	DBLP DOI BibTeX RDF
28	ZhiWu Li 0001, Hesuan Hu, MengChu Zhou	An algorithm for an optimal set of elementary siphons in Petri nets for deadlock control.	SMC (5)	2004	DBLP DOI BibTeX RDF
28	Talal Ali Al-Hawary, D. George McRae	Toward an Elementary Axiomatic Theory of the Category of LP-Matroids.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	strong map, category, matroid
28	Sujin O, Woochun Jun, Le Gruenwald, Suk-Ki Hong	A Web-Based System to Teach Computer Operating System Theories and Usage to Elementary School Students.	ICWL	2003	DBLP DOI BibTeX RDF	Internet, operating systems, Information Communication Technology
28	Chiung-Hui Chiu	The Authority Structure Problem of Computer Supported Collaborative Concept Mapping System for Elementary Students.	ICALT	2001	DBLP DOI BibTeX RDF
28	Youichi Kobuchi, Takashi Saito, Hidenobu Nunome	Semantics analysis through elementary meanings.	Acta Informatica	2000	DBLP DOI BibTeX RDF
28	Daniel Richardson, John P. Fitch	The Identity Problem for Elementary Functions and Constants.	ISSAC	1994	DBLP DOI BibTeX RDF
28	Paul Tarau, Michel Boyer	Elementary Logic Programs.	PLILP	1990	DBLP DOI BibTeX RDF	logic program transformations, binary programs, fair evaluation, unfolding, metaprograms, OR-parallelism
27	T. M. H. Chan, Robert P. K. Chan	A Simplified Approach to the Order Conditions of Integration Methods.	Computing	2006	DBLP DOI BibTeX RDF	real-valued functions on trees, the elementary weight function, series, two-step Runge-Kutta methods, two-derivative Runge-Kutta methods, linear multi-step methods, Rooted trees
27	Gil Benkö, Christoph Flamm, Peter F. Stadler	Explicit Collision Simulation of Chemical Reactions in a Graph Based Artificial Chemistry.	ECAL	2005	DBLP DOI BibTeX RDF	Elementary Reactions, Energy Conservation, Artificial Chemistry
27	Alasdair McAndrew, Anne Venables	A "secondary" look at digital image processing.	SIGCSE	2005	DBLP DOI BibTeX RDF	elementary computer science, enquiry-based learning, digital image processing, secondary education
27	Qing Liu 0011	Granules and Reasoning Based on Granular Computing.	IEA/AIE	2003	DBLP DOI BibTeX RDF	Elementary Granule, Reasoning Model, Inclusion and Closeness, Granular Computing
27	Masanori Sugimoto, Fusako Kusunoki, Hiromichi Hashizume	Design of an interactive system for group learning support.	Symposium on Designing Interactive Systems	2002	DBLP DOI BibTeX RDF	design of a CSCL system, design of a sensing board, elementary school teachers and pupils, participatory design, user interface design, collaborative design
27	Konstantina Karagianni, Vassilis Paliouras, George Diamantakos, Thanos Stouraitis	Operation-Saving VLSI Architectures for 3D Geometrical Transformations.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	Elementary geometrical transformations, vector unit, VLSI architecture, graphics processor
27	Paul Bankston	Some Applications of the Ultrapower Theorem to the Theory of Compacta.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	ultraproduct, ultracoproduct, compactum, co-elementary map, co-existential map, continuum
27	Jun Cao, Belle W. Y. Wei	High-Performance Hardware for Function Generation.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	Stirling algorithm, Computer arithmetic, Elementary functions, polynomial approximations, special-purpose hardware
27	Harry M. Sneed	Object-Oriented Cobol Recycling.	WCRE	1996	DBLP DOI BibTeX RDF	object-oriented COBOL recycling, tool supported process, automated slicing techniques, object-COBOL class, elementary operations, reverse engineering, human interaction, object extraction
26	Giorgio Dalzotto, Tomás Recio	On Protocols for the Automated Discovery of Theorems in Elementary Geometry.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Automatic theorem discovery, Elementary geometry, Computational algebraic geometry, Automatic theorem proving
26	L. Darrell Whitley, Andrew M. Sutton	Elementary landscape analysis.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	elementary landscapes, combinatorial optimization, fitness landscapes
26	James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut	Testing elementary function identities using CAD.	Appl. Algebra Eng. Commun. Comput.	2007	DBLP DOI BibTeX RDF	CAD, Elementary functions, Branch cuts
26	Marja Kuittinen, Jorma Sajaniemi	Teaching roles of variables in elementary programming courses.	ITiCSE	2004	DBLP DOI BibTeX RDF	elementary programming, teaching, roles of variables
26	Vincenzo Auletta, Sajal K. Das 0001, Amelia De Vivo, Maria Cristina Pinotti, Vittorio Scarano	Optimal Tree Access by Elementary and Composite Templates in Parallel Memory Systems.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	complete trees, composite templates, elementary templates, mapping scheme, conflict-free access, parallel memory system
26	Michael J. Schulte, James E. Stine	Approximating Elementary Functions with Symmetric Bipartite Tables.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	bipartite tables, approximations, table lookups, Elementary functions
26	Weng-Fai Wong, Eiichi Goto	Fast Evaluation of the Elementary Functions in Single Precision.	IEEE Trans. Computers	1995	DBLP DOI BibTeX RDF	table-based algorithms, Digital arithmetic, error analysis, elementary functions
26	Dima Grigoriev, Nicolai N. Vorobjov Jr.	Complexity Lower Bounds for Computation Trees with Elementary Transcendental Function Gates	FOCS	1994	DBLP DOI BibTeX RDF	complexity lower bounds, computation trees, elementary transcendental function gates, membership, arithmetic operations, algebraic functions, transcendental functions, convex polyhedron
26	Israel Koren, Ofra Zinaty	Evaluating Elementary Functions in a Numerical Coprocessor Based on Rational Approximations.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	high-precision floating-point numbers, extended double precision format, IEEE standard P754, floating-point numeric coprocessor, fast adder, digital arithmetic, execution time, microprocessor chips, approximation theory, elementary functions, function evaluation, rational approximations, silicon area, fast multiplier
26	Antonia Sinachopoulos	Partial Order Logics for Elementary Net Systems: State- and Event-approaches.	CONCUR	1990	DBLP DOI BibTeX RDF	Partial Order Logics, Next Operator, Case Graphs, Action Graphs, Specific Axiomatics, State Approach, Action Approach, Petri Nets, Specification, Elementary Net Systems
26	Jean-Michel Muller	Discrete Basis and Computation of Elementary Functions.	IEEE Trans. Computers	1985	DBLP DOI BibTeX RDF	representation of real numbers by infinite series, CORDIC-like algorithms, hardware computation of elementary functions
26	Paul W. Baker	Parallel Multiplicative Algorithms for Some Elementary Functions.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	Continued products and sums, parallel m-bit multipliers, digital arithmetic, iterative algorithms, elementary functions
26	Paul W. Baker	More Efficient Radix-2 Algorithms for Some Elementary Functions.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	variable left shift, Digital arithmetic, iterative algorithms, elementary functions, radix 2
23	Aihua Bao, Li Yao, Wei Ming Zhang, Jinping Yuan	Approach to the Formal Representation of OWL-S Ontology Maintenance Requirements.	WAIM	2008	DBLP DOI BibTeX RDF
23	Anna Chmielowiec, Guillaume Pierre, Jaap Gordijn, Maarten van Steen	Technical challenges in market-driven automated service provisioning.	MW4SOC	2008	DBLP DOI BibTeX RDF	commercial services, service bundles, service provisioning
23	Jing Zhou, Guosun Zeng	Validity Checking On Grid Service Composition.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
23	Leslie G. Valiant	Accidental Algorithms.	FOCS	2006	DBLP DOI BibTeX RDF
23	Shyjan Mahamud, Martial Hebert	Minimum Risk Distance Measure for Object Recognition.	ICCV	2003	DBLP DOI BibTeX RDF
23	Jörg Desel, Gabriel Juhás, Robert Lorenz 0001	Process Semantics of Petri Nets over Partial Algebra.	ICATPN	2000	DBLP DOI BibTeX RDF
23	Alexander N. Kozhushkin	PSI Team.	RoboCup	2000	DBLP DOI BibTeX RDF
23	Rudolf Freund, Brigitte Haberstroh	Attributed Elementarz Programmed Graph Grammars.	WG	1991	DBLP DOI BibTeX RDF
23	Philippe le Chenadec	On Positive Occur-Checks in Unification.	MFCS	1988	DBLP DOI BibTeX RDF
23	Rainer A. Rueppel	Key Agreements Based on Function Composition.	EUROCRYPT	1988	DBLP DOI BibTeX RDF
22	Xiaoyong Guo, Xiang-Gen Xia 0001	An Elementary Condition for Non-Norm Elements.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
22	Liang Chen, Chengmin Gao, Yong Xu	Non-interactive Evaluation of Encrypted Elementary Functions.	IAS	2009	DBLP DOI BibTeX RDF
22	Athanasios K. Tsakalidis	Some Results for Elementary Operations.	Efficient Algorithms	2009	DBLP DOI BibTeX RDF
22	Carlos J. G. Brigas, Cristina Azevedo Gomes, Maria J. P. Marcelino, Maria João Silva	Modeling and Simulation for Elementary Education.	ICALT	2009	DBLP DOI BibTeX RDF