|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10935 occurrences of 5517 keywords
|
|
|
Results
Found 30973 publication records. Showing 30973 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Nick D. Goots, Boris V. Izotov, Alexander A. Moldovyan, Nick A. Moldovyan |
Fast Ciphers for Cheap Hardware: Differential Analysis of SPECTR-H64. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMM-ACNS ![In: Computer Network Security, Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003, Proceedings, pp. 449-452, 2003, Springer, 3-540-40797-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Data-Dependent Permutations, SPECTR-H64, Differential Analysis |
14 | Nick A. Moldovyan |
On Cipher Design Based on Switchable Controlled Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMM-ACNS ![In: Computer Network Security, Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003, Proceedings, pp. 316-327, 2003, Springer, 3-540-40797-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Fast Encryption, Hardware-Oriented Ciphers, Switchable Operations, Controlled Operations, Data-Dependent Operations |
14 | Hongwei Xi |
Unifying object-oriented programming with typed functional programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIA-PEPM ![In: Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, Japan, September 12-14, 2002, pp. 117-125, 2002, ACM, 1-58113-458-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
DML, object-oriented, dependent types |
14 | Anne Aaron, Bernd Girod |
Compression with Side Information Using Turbo Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCC ![In: 2002 Data Compression Conference (DCC 2002), 2-4 April, 2002, Snowbird, UT, USA, pp. 252-261, 2002, IEEE Computer Society, 0-7695-1477-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
statistically dependent sources, Slepian-Wolf theorem, Gaussian sequences, source coding, turbo codes, iterative decoding, binary sequences, joint source-channel coding, distributed source coding, side information |
14 | Péter Gács |
Clairvoyant scheduling of random walks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings on 34th Annual ACM Symposium on Theory of Computing, May 19-21, 2002, Montréal, Québec, Canada, pp. 99-108, 2002, ACM, 1-58113-495-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
dependent percolation, scheduling, distributed computing |
14 | Changhoon Lee, Deukjo Hong, Sungjae Lee, Sangjin Lee 0002, Hyungjin Yang, Jongin Lim 0001 |
A Chosen Plaintext Linear Attack on Block Cipher CIKS-1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICS ![In: Information and Communications Security, 4th International Conference, ICICS 2002, Singapore, December 9-12, 2002, Proceedings, pp. 456-468, 2002, Springer, 3-540-00164-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
CIKS-1(Cipher with Internal Key Scheduling), Block Cipher, Linear Cryptanalysis, Data-Dependent Permutation |
14 | Byron Krauter, David Widiger |
Variable frequency crosstalk noise analysis: : a methodology to guarantee functionality from dc to fmax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002, pp. 665-668, 2002, ACM, 1-58113-461-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
GCD frequency, LCM window, frequency-dependent noise, timing orthogonality, crosstalk, noise analysis, timing windows |
14 | Tong Kang, Dehao Yu |
Some A Posteriori Error Estimates of the Finite-Difference Streamline-Diffusion Method for Convection-Dominated Diffusion Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 15(1-4), pp. 193-218, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
finite-difference streamline-diffusion method, time-dependent convection-dominated diffusion equations, a posteriori error estimates |
14 | Péter Gács |
Compatible sequences and a slow Winkler percolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings on 33rd Annual ACM Symposium on Theory of Computing, July 6-8, 2001, Heraklion, Crete, Greece, pp. 694-703, 2001, ACM, 1-58113-349-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
dependent percolation, scheduling, distributed computing |
14 | Wolfgang Lindner 0001, Henrike Berthold, Frank Binkowski, Andreas Heuer 0001, Klaus Meyer-Wegener |
Enabling Hypermedia Videos in Multimedia Database Systems Coupled with Realtime Media Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 2000 International Database Engineering and Applications Symposium, IDEAS 2000, September 18-20, 2000, Yokohoma, Japan, Proccedings, pp. 327-336, 2000, IEEE Computer Society, 0-7695-0789-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
hypermedia videos, real time media servers, standard structured data, distinct systems, multimedia DBMS, hypermedia link anchors, client software, video playout, update processing, metadata, query processing, video stream, multimedia databases, continuous media, structured data, multimedia database systems, integrated management, video data, local structures, time-dependent data, MMDBS, media servers, hypermedia structures |
14 | W. Sae-Tung, Tadashi Ohmori, Mamoru Hoshi |
An Integration System of Web Information Sources for Mobile Users. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 2000 International Database Engineering and Applications Symposium, IDEAS 2000, September 18-20, 2000, Yokohoma, Japan, Proccedings, pp. 250-256, 2000, IEEE Computer Society, 0-7695-0789-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Web information sources, location-dependent contents, system-side servers, navigational integration, PDA, system architecture, information resources, Web contents, integration system, mobile users |
14 | Natalia Sidorova, Martin Steffen |
Verification of a wireless ATM medium-access protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 84-91, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
medium-access protocol verification, modular structure, SDL specification, abstraction techniques, system debugging, untimed properties, time-dependent properties, model checking, formal specification, formal verification, wireless LAN, asynchronous transfer mode, access protocols, state space reduction, wireless ATM |
14 | Matthew K. H. Leung, John C. S. Lui, David K. Y. Yau |
Characterization and Performance Evaluation for Proportional Delay Differentiated Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: Eighth Annual International Conference on Network Protocols, ICNP 2000, 14-17 November, 2000, Osaka, Japan, pp. 295-304, 2000, IEEE Computer Society, 0-7695-0921-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
proportional delay differentiated services, Internet differentiated services, traffic classes, tariff rate, time-dependent priority scheduling, proportional delay model, delay ratios, scheduling parameters, efficient control algorithm, relative waiting time, performance evaluation, performance evaluation, Internet, delays, telecommunication traffic, waiting times, telecommunication services, ISP, feasible regions, average waiting time, service classes |
14 | Haiyun Luo, Songwu Lu |
A Topology-Independent Fair Queueing Model in Ad Hoc Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: Eighth Annual International Conference on Network Protocols, ICNP 2000, 14-17 November, 2000, Osaka, Japan, pp. 325-336, 2000, IEEE Computer Society, 0-7695-0921-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
topology-independent fair queueing model, delay-sensitive packet flows, rate-sensitive packet flows, shared-medium ad hoc network, location-dependent contention, spatial channel reuse maximization, distributed fair scheduling, coordinated fair channel access, packetized algorithms, fluid fairness model, distributed implementations, ideal centralized algorithm, scheduling, fairness, queueing theory, ad hoc wireless networks, graph colouring, multihop wireless network, packet radio networks, performance bounds, channel utilization |
14 | Daniel N. Wood, Daniel I. Azuma, Ken Aldinger, Brian Curless, Tom Duchamp, David Salesin, Werner Stuetzle |
Surface light fields for 3D photography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH ![In: Proceedings of the 27th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 2000, New Orleans, LA, USA, July 23-28, 2000, pp. 287-296, 2000, ACM, 1-58113-208-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
function quantization, principal function analysis, surface light fields, view-dependent level-of-detail, wavelets, image-based rendering, light field, 3D photography, lumigraph |
14 | Yi-Min Jiang, Angela Krstic, Kwang-Ting Cheng |
Dynamic Timing Analysis Considering Power Supply Noise Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 1st International Symposium on Quality of Electronic Design (ISQED 2000), 20-22 March 2000, San Jose, CA, USA, pp. 137-144, 2000, IEEE Computer Society, 0-7695-0525-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
dynamic timing analysis, input pattern dependent, power supply noise, deep submicron designs |
14 | Jae-Wook Lee, Jun-Woo Lee, Tae-wan Kim, Dae-Ung Kim |
Satellite over Satellite (SOS) Network: A Novel Concept of Hierarchical Architecture and Routing in Satellite Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 27th Conference on Local Computer Networks, Tampa, Florida, USA, 8-10 November, 2000, pp. 392-399, 2000, IEEE Computer Society, 0-7695-0912-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
satellite over satellite network, SOS network, global broadband services, long distance dependent, broadband satellite network, hierarchical satellite constellation, hierarchical satellite routing protocol, adaptive routing protocol, LDD multimedia traffic, HSRP, quality of service, QoS, routing, protocols, network topology, multimedia communication, telecommunication network routing, multimedia traffic, broadband networks, hierarchical architecture, topological design, satellite links |
14 | Tatsuya Hagiwara, Hiroki Doi, Hideki Tode, Hiromasa Ikeda |
High-Speed Calculation Method of the Hurst Parameter Based on Real Traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 27th Conference on Local Computer Networks, Tampa, Florida, USA, 8-10 November, 2000, pp. 662-669, 2000, IEEE Computer Society, 0-7695-0912-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
high-speed calculation method, traffic measurement analysis, packet traffic, long range dependent properties, variance-time plot method, performance, packet switching, fractals, self-similarity, buffer overflow, telecommunication traffic, network performance, telecommunication congestion control, network control, Hurst parameter |
14 | Daniel Barbará |
Mobile Computing and Databases - A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 11(1), pp. 108-117, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Mobile computing, databases, interfaces, bandwidth, data dissemination, transaction management, location-dependent queries |
14 | Tokuyasu Kakuta, Makoto Haraguchi |
A demonstration of a legal reasoning system based on teleological analogies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Seventh International Conference on Artificial Intelligence and Law, ICAIL '99, Oslo, Norway, June 14-17, 1999, pp. 196-205, 1999, ACM, 1-58113-165-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
goal-dependent abstraction, legal reasoning system, order-sorted logic, analogy |
14 | Anand Natrajan, Paul F. Reynolds Jr. |
Resolving Concurrent Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIS-RT ![In: 3rd International Workshop on Distributed Interactive Simulation and Real-Time Applications (DIS-RT '99), 22-23 October 1999, Greenbelt, MD, USA, pp. 85-92, 1999, IEEE Computer Society, 0-7695-0459-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
dependent concurrent interaction effects serialization |
14 | Ali Movaghar 0001 |
On queueing with customer impatience until the beginning of service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 29(2-4), pp. 337-350, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
state-dependent Poisson process, queue, deadline, impatient customers |
14 | Shu-Heng Chen, Chih-Chi Ni |
Using Genetic Algorithms to Simulate the Evolution of an Oligopoly Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEAL ![In: Simulated Evolution and Learning, Second Asia-Pacific Conference on Simulated Evolution and Learning, SEAL'98, Canberra, Australia, November 24-27 1998, Selected Papers, pp. 293-300, 1998, Springer, 3-540-65907-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Cartels, Price Wars, State-Dependent Markov Chain, Genetic Algorithms, Coevolution, Oligopoly |
14 | Julie C. Xia, Jihad El-Sana, Amitabh Varshney |
Adaptive Real-Time Level-of-Detail-Based Rendering for Polygonal Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 3(2), pp. 171-183, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
View-dependent simplifications, triangle hierarchies, multiresolution hierarchies, simplification, selective refinement |
14 | R. Hauber |
Numerical treatment of retarded differential-algebraic equations by collocation methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 7(4), pp. 573-592, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
state-dependent lag, 34K05, collocation methods, delay differential equations, differential-algebraic equations, 65L05, 65Q05 |
14 | Jiang Wen, Xiaolin Wu 0001, Wai-Yin Ng |
VQ index coding for high-fidelity medical image compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (3) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 678-681, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
VQ index coding, high-fidelity medical image compression, conditional entropy coding, MR head images, image-type-dependent CECOVI, wavelet image coder, MRI, experimental results, context modeling, vector quantisation, SPIHT, rate-distortion performance, probability estimation, brain images, lossy image compression |
14 | Chaitali Biswas, Helen Na |
Limited Angle Tomography Using Volumetric Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 488-491, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
ionospheric techniques, limited angle tomography, volumetric constraints, volumetric a priori information, computerized ionospheric tomography, data-dependent localized volumetric correction, projection domain, iterative inversion algorithm, ionospheric electron density, image reconstruction, 3D images, 2D images, image domain |
14 | John R. Budenske, Ranga S. Ramanujan, Howard Jay Siegel |
On-line use of off-line derived mappings for iterative automatic target recognition tasks and a particular class of hardware platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Heterogeneous Computing Workshop ![In: 6th Heterogeneous Computing Workshop, HCW 1997, Geneva, Switzerland, April 1, 1997, pp. 96-, 1997, IEEE Computer Society, 0-8186-7879-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
online use, offline derived mappings, iterative automatic target recognition tasks, real-time on-line input-data dependent remappings, heterogeneous hardware platform, operating system, program verification, heterogeneous computing, application domain, hardware platforms |
14 | David W. Matula, Asger Munk Nielsen |
Pipelined Packet-Forwarding Floating Point: I. Foundations and a Rounder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 13th Symposium on Computer Arithmetic (ARITH-13 '97), 6-9 July 1997, Asilomar, CA, USA, pp. 140-147, 1997, IEEE Computer Society, 0-8186-7846-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
pipelined packet forwarding floating point, packet forwarding floating point format, rounder design, packet forwarding format, standard binary IEEE 754 floating point format, multiplication algorithms, ALU pipeline paradigm, data hazards, pipelined floating point operations, execution phases, multiplier packet forwarding pipelines, execution phase, logic levels, multiplier pipelines, forwarding pipelines, IEEE 754 binary floating point compatibility, pipeline arithmetic, data dependent operations |
14 | Nasser Kalantery |
Parallel discrete event processing of sequential computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1997 International Conference on Parallel and Distributed Systems (ICPADS '97), 11-13 December 1997, Seoul, Korea, Proceedings, pp. 67-72, 1997, IEEE Computer Society, 0-8186-8227-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
parallel discrete event processing, discrete event methods, sequential software parallelization, optimistic execution strategy, temporal coordinate system, logical time mechanism, adaptive synchronisation, data dependent parallelism, conditional parallelism, coherency violation, coarse grain mapping, parallel discrete event simulation, program control structures, program control structure, sequential computations |
14 | Daniela Rosu 0001, Karsten Schwan, Sudhakar Yalamanchili, Rakesh Jha |
On adaptive resource allocation for complex real-time application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), December 3-5, 1997, San Francisco, CA, USA, pp. 320-329, 1997, IEEE Computer Society, 0-8186-8268-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
complex real-time applications, high-performance real-time applications, limited resource availability, embedded system platforms, resource needs, over-sizing, worst-case application needs, time-critical applications, C31 systems, resource allocation, satisfiability, timing constraints, data-dependent, performance metrics, adaptive resource allocation |
14 | Piet Wauters, Marc Engels, Rudy Lauwereins, J. A. Peperstraete |
Cyclo-Dynamic Dataflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 319-326, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
cyclo dynamic data flow, CDDF, data flow model, real time digital signal processing, cyclo static dataflow, data dependent control flow, data flow languages, Boolean data flow model, scheduling, real-time systems, semantics, signal processing, parallel languages, data flow computing, automatic tools |
14 | B. Vijayakumar, David J. Kriegman, Jean Ponce |
Structure and motion of curved 3D objects from monocular silhouettes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 1996 Conference on Computer Vision and Pattern Recognition (CVPR '96), June 18-20, 1996 San Francisco, CA, USA, pp. 327-334, 1996, IEEE Computer Society, 0-8186-7258-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
curved 3D objects, monocular silhouettes, smooth 3D object, Euclidean surface structure, scaled orthographic projection, viewpoint-invariant representation, viewpoint-dependent features, bitangents, contour points, parallel tangents, stereo frontier points, infinitesimal motion frontier points, computational geometry, motion estimation, computer graphics, stereo image processing, epipolar geometry, camera motion, surface geometry, inflections, moving camera, image velocity |
14 | Peter Heimann, Gregor Joeris, Carl-Arndt Krapp, Bernhard Westfechtel |
DYNAMITE: Dynamic Task Nets for Software Process Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, Proceedings., pp. 331-341, 1996, IEEE Computer Society, 0-8186-7246-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
DYNAMITE, dynamic task nets, incremental modification, process dynamics, product-dependent structure evolution, programmed graph rewriting system, software maintenance, software development, planning, feedback, concurrent engineering, software management, editing, software process management, enactment |
14 | Thierry Guiard-Marigny, Nicolas Tsingos, Ali Adjoudani, Christian Benoît, Marie-Paule Gascuel |
3D Models Of The Lips For Realistic Speech Animation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CA ![In: Computer Animation 1996, CA 1996, Geneva, Switzerland, June 3-4, 1996, pp. 80-89, 1996, IEEE Computer Society, 0-8186-7588-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
audio-visual systems, realistic images, lip modelling, realistic speech animation, audio visual articulatory speech synthesizer, border contours, vermilion zone, lip shape, speaker dependent conformations, natural lips, French speaker, reference lip shapes, lip contact, natural languages, computer animation, 3D models, implicit surfaces, speech synthesis, volumetric model, continuous functions, human face, geometrical analysis, algebraic equations |
14 | Ilham Benyahia |
Using a discrete event simulation to test a generic architecture for complex real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 21-25 October 1996, Montreal, Canada, pp. 68-71, 1996, IEEE Computer Society, 0-8186-7614-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
generic architecture test, dependent parameters, interconnected components, systems interaction environments, discrete event simulation, discrete event simulation, complex real-time systems, object-oriented techniques |
14 | Christian Dünkel, Dietrich Reschke |
Interval-Based Real-Time Transmission Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 21st Conference on Local Computer Networks, Minneapolis, Minnesota, USA, October 13-16, 1996, pp. 161-170, 1996, IEEE Computer Society, 0-8186-7617-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
interval-based real-time transmission control, cell switched transmission systems, packet switched transmission systems, real-time data transfer, load variations, data stream behavior, data stream dependent time parameter adjustment, control process, data stream smoothing, compression processes, source node, real-time systems, queueing, network nodes, network node |
14 | B. Vijayakumar, David J. Kriegman, Jean Ponce |
Invariant-Based Recognition of Complex Curved 3D Objects from Image Contours. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 508-514, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
invariant-based recognition, complex curved 3D object recognition, smooth curved surfaces, monocular image contours, viewpoint-dependent image features, object geometry, contour bitangents, parallel tangents points, scaled orthographic projection viewpoints, camera-object motion, model database, feature extraction, computational geometry, object recognition, motion estimation, 3D models, image features, occluding contour, image contours, inflections, three-dimensional objects |
14 | Jamshed N. Patel, Ashfaq A. Khokhar, Leah H. Jamieson |
Scalable parallel list ranking of image edges on fine-grained machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 717-721, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
fine-grained machines, scalable parallel list ranking, image edges, fine-grained list ranking algorithms, image edge lists, edge link spatial locality, actual edge data, synthetic edge data, MasPar MP-2, performance, parallel algorithms, edge detection, randomized algorithm, parallel machines, software performance evaluation, speedup, randomised algorithms, list processing, locality properties, data-dependent operation, MasPar MP-1 |
14 | Kumar N. Lalgudi, Marios C. Papaefthymiou |
Efficient retiming under a general delay model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARVLSI ![In: 16th Conference on Advanced Research in VLSI (ARVLSI '95), March 27-29, 1995, Chapel Hill, North Carolina, USA, pp. 368-382, 1995, IEEE Computer Society, 0-8186-7047-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
retiming algorithm, general delay model, edge-triggered circuits, load-dependent gate delays, register delays, integer linear programming constraints, integer phonotonic programming formulation, linear programming, delays, timing, integer programming, logic design, logic design, logic circuits, clock skew, propagation delays, interconnect delays |
14 | Oleg A. Panfilov |
Performance analysis of RAID-5 disk arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 49-60, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
peripheral interfaces, RAID-5 disk arrays, SCSIs, application dependent read/write ratio, performance evaluation, performance analysis, storage management, disk arrays, magnetic disc storage, files, system throughput, nonlinear function |
14 | Randy Chow, I-Lung Kao |
Modeling complex access control policies in distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), August 28-30, 1995, Chenju, Korea, Proceedings, pp. 404-411, 1995, IEEE Computer Society, 0-8186-7125-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
access authorization, classified categories, state-dependent security, distributed systems, distributed processing, security policies, security of data, authorisation, access control model, access control policies, Boolean expressions |
14 | Mingjing Li, Ru-Wei Dai |
A personal handwritten Chinese character recognition algorithm based on the generalized Hough transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 828-831, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
personal handwritten Chinese character recognition, arbitrary 2D shape detection, writer-dependent, character pre-classification, pattern recognition, feature extraction, similarity measure, handwriting recognition, look-up-table, parameter space, generalized Hough transform |
14 | Tang Dac Cong |
Application of the method of collective marks to someM/G/1 vacation models with exhaustive service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 16(1-2), pp. 67-81, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Time-dependent queues, single vacation, multiple vacations, Collective Marks |
14 | Michael S. Lew, Thomas S. Huang, Kam Wong |
Learning and Feature Selection in Stereo Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(9), pp. 869-881, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
image dependent knowledge, image independent knowledge, self-diagnostic method, surface reconstruction model, learning (artificial intelligence), feature extraction, feature selection, approximation, image reconstruction, surface reconstruction, adaptive systems, error analysis, stereo image processing, stereo matching, feature space, instance based learning, adaptive method, feature set |
14 | Eveline J. Bellegarda, Jerome R. Bellegarda, David Nahamoo, Krishna Nathan |
A Fast Statistical Mixture Algorithm for On-Line Handwriting Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(12), pp. 1227-1233, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
fast statistical mixture algorithm, unconstrained handwriting, cursively written word fragments, discretely written characters, probabilistic framework, front-end processor, frame representation, Gaussian K-means clustering, 81-character alphabet, writer-dependent recognition, writer-independent recognition, frame-based processing, mixture output distributions, complexity, information theory, information theory, statistical analysis, handwriting recognition, statistical modeling, mixture modeling, feature spaces, feature vectors, elastic matching, online operation, online handwriting recognition |
14 | Georges Winkenbach, David Salesin |
Computer-generated pen-and-ink illustration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH ![In: Proceedings of the 21th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1994, Orlando, FL, USA, July 24-29, 1994, pp. 91-100, 1994, ACM, 0-89791-667-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
architectural rendering, comprehensible rendering, prioritized stroke textures, resolution-dependent rendering, texture indication, non-photorealistic rendering |
14 | Erik H. D'Hollander |
Partitioning and Labeling of Loops by Unimodular Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(4), pp. 465-476, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
loop labelling, invariant dependence relation, independent subsets, constant dependence vectors, serial loop, parallel DO-ALL loops, dependent iterations, n-fold nested loop, multithreaded dynamicscheduling, join primitive, scheduling, parallel algorithms, computational complexity, program compilers, programming theory, partitioning algorithm, parallelprogramming, labelling algorithm, unimodular transformations, unimodular transformation, loop partitioning, dependence matrix |
14 | Marc Abrams, Naganand Doraswamy, Anup Mathur |
Chitra: Visual Analysis of Parallel and Distributed Programs in the Time, Event, and Frequency Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(6), pp. 672-685, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
program execution sequence, semi-Markov chain model, PES, programstate vector, Chitra, time-dependent behavior, transform selection, program parameters, input PES, visualization, Markov processes, visual programming, system monitoring, visual analysis, parallelprogramming, performance problems |
14 | Robert A. Boie, Ingemar J. Cox |
An Analysis of Camera Noise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(6), pp. 671-674, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
camera noise, ionization sensors, vidicon cameras, direction-dependent stationary electronic noise sources, computer vision, computer vision, noise, cameras, adaptive signal processing, charge-coupled device, charge-coupled devices |
14 | John Zahorjan, Edward D. Lazowska, Derek L. Eager |
The Effect of Scheduling Discipline on Spin Overhead in Shared Memory Parallel Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 2(2), pp. 180-198, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
scheduling discipline, spin overhead, shared memory parallel systems, busywaiting, data-dependent execution, memoryarchitecture, scheduling, performance evaluation, parallel machines, spinning, multiprogramming, parallel processors |
14 | Dave E. Eckhardt, Alper K. Caglayan, John C. Knight, Larry D. Lee, David F. McAllister, Mladen A. Vouk, John P. J. Kelly |
An Experimental Evaluation of Software Redundancy as a Strategy For Improving Reliability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(7), pp. 692-702, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
software redundancy, independently developed software, residual software design faults, multiversion software, dependent failures, aerospace application, fault tolerant computing, software reliability, redundancy, program testing, experimental results, development process, experimental evaluation, programmers, failure probabilities, multiple versions |
14 | Patrick J. Flynn, Anil K. Jain 0001 |
CAD-Based Computer Vision: From CAD Models to Relational Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 13(2), pp. 114-132, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
CAD-based computer vision, relational graphs, 3-D object recognition systems, mechanical CAD systems, manufacturing database, industry-standard IGES form, polyhedral approximation, geometric inferencing, view-independent information, view-dependent information, patch areas, synthetic views, computer vision, solid modelling, solid modelling, CAD/CAM, CAD/CAM |
14 | Patrick Kenny, Matthew Lennig, Paul Mermelstein |
Speaker Adaptation in a Large-Vocabulary Gaussian HMM Recognizer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 12(9), pp. 917-920, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Gaussian HMM speech recognition, phoneme-dependent spectral mapping, hidden Markov models, heuristic, speech recognition, Markov processes, matrix algebra, spectral analysis, covariance matrices, speaker adaptation |
14 | Jean-Loup Baer, Yi-Bing Lin |
Improving Quicksort Performance with a Codewort Data Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(5), pp. 622-631, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
codeword data structure, long, alphanumeric sequences, bytes, codeword generator, character count, first nonequal byte, quicksort algorithm, architecture-dependent parameters, in-line expansion, data structures, caches, sorting, compiler optimizations, register allocation, performance improvement, ordering, pointer, records, keys, swaps, write policies |
14 | Takao Tenma, Hideaki Tsubotani, Minoru Tanaka, Tadao Ichikawa |
A System for Generating Language-Oriented Editors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(8), pp. 1098-1109, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
language dependent data representation, language-oriented editors, language-oriented tools, target language description, data structures, data structures, object-oriented, software tools, software tools, application generators, application generators, text editing, abstract syntax tree, description language |
12 | Qin Zheng 0002, Bharadwaj Veeravalli, Chen-Khong Tham |
On the Design of Fault-Tolerant Scheduling Strategies Using Primary-Backup Approach for Computational Grids with Low Replication Costs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 58(3), pp. 380-393, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Yashun Zhang, Shengyuan Xu, Baoyong Zhang |
Robust Output Feedback Stabilization for Uncertain Discrete-Time Fuzzy Markovian Jump Systems With Time-Varying Delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 17(2), pp. 411-420, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Chia-Hung Dylan Tsai, Imin Kao |
The latency model for viscoelastic contact interface in robotics: Theory and experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 1291-1296, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Luiz Carlos Castro Guedes, Edward Hermann Haeusler |
Action Algebras and Model Algebras in Denotational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 227-249, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | James Gross |
Admission control based on OFDMA channel transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOWMOM ![In: 10th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WOWMOM 2009, Kos Island, Greece, 15-19 June, 2009, pp. 1-11, 2009, IEEE Computer Society, 978-1-4244-4439-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Jingjing Liu |
Personalizing information retrieval using task features, topic knowledge, and task product. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: Proceedings of the 32nd Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2009, Boston, MA, USA, July 19-23, 2009, pp. 855, 2009, ACM, 978-1-60558-483-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
contextual factors in IR, personalization of IR, task |
12 | Bart Coppens 0001, Ingrid Verbauwhede, Koen De Bosschere, Bjorn De Sutter |
Practical Mitigations for Timing-Based Side-Channel Attacks on Modern x86 Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SP ![In: 30th IEEE Symposium on Security and Privacy (SP 2009), 17-20 May 2009, Oakland, California, USA, pp. 45-60, 2009, IEEE Computer Society, 978-0-7695-3633-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Amine Chohra, Kurosh Madani, Dalel Kanzari |
Fuzzy Cognitive and Social Negotiation Agent Strategy for Computational Collective Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCI ![In: Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems, First International Conference, ICCCI 2009, Wroclaw, Poland, October 5-7, 2009. Proceedings, pp. 252-265, 2009, Springer, 978-3-642-04440-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Social and cognitive systems, adaptation, negotiation, strategies, behaviors |
12 | Wan-Hui Tseng, Chin-Feng Fan |
Handling Malicious Code on Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007., pp. 68-74, 2007, Springer, 978-3-540-75100-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
control systems security, malicious code classification, undecidability |
12 | Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu |
State of the Union: Type Inference Via Craig Interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 553-567, 2007, Springer, 978-3-540-71208-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | T. S. Ganesh, Viswanathan Subramanian, Arun K. Somani |
SEU Mitigation Techniques for Microprocessor Control Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Sixth European Dependable Computing Conference, EDCC 2006, Coimbra, Portugal, 18-20 October 2006, pp. 77-86, 2006, IEEE Computer Society, 0-7695-2648-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Wilson Eberle, Yan-Fei Liu, Paresh C. Sen |
A Simple Large Signal Model for Isolated DC-DC Converters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, May 7-10, 2006, Ottawa Congress Centre, Ottawa, Canada, pp. 883-886, 2006, IEEE, 1-4244-0038-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Ti-Chiun Chang, Jan P. Allebach |
Quantization of accumulated diffused errors in error diffusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 14(12), pp. 1960-1976, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Nicolaas Tack, Gauthier Lafruit, Francky Catthoor, Rudy Lauwereins |
Pareto based optimization of multi-resolution geometry for real time rendering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web3D ![In: Proceeding of the Tenth International Conference on 3D Web Technology, Web3D 2005, Bangor, UK, March 29 - April 1, 2005, pp. 19-27, 2005, ACM, 1-59593-012-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
MPEG-4 WSS, cost-benefit, pareto optimization |
12 | Seung-Hun Yoo, Tae-Dong Lee, Chang-Sung Jeong |
An Extensible Framework for Advanced Distributed Virtual Environment on Grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIS ![In: Artificial Intelligence and Simulation, 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers, pp. 188-197, 2004, Springer, 3-540-24476-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Chin-Yu Huang, Chu-Ti Lin, Sy-Yen Kuo, Michael R. Lyu, Chuan-Ching Sue |
Software Reliability Growth Models Incorporating Fault Dependency with Various Debugging Time Lags. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings, pp. 186-191, 2004, IEEE Computer Society, 0-7695-2209-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Clemens Heitzinger, Wolfgang Pyka, Naoki Tamaoki, Toshiro Takase, Toshimitsu Ohmine, Siegfried Selberherr |
Simulation of arsenic in situ doping with polysilicon CVD and its application to high aspect ratio trenches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22(3), pp. 285-292, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Mohamed S. Kamel, Nayer M. Wanas |
Data Dependence in Combining Classifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multiple Classifier Systems ![In: Multiple Classifier Systems, 4th International Workshop, MCS 2003, Guilford, UK, June 11-13, 2003, Proceedings, pp. 1-14, 2003, Springer, 3-540-40369-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Lei Xu 0003, Baowen Xu, Zhenqiang Chen, Jixiang Jiang, Huowang Chen |
Regression Testing for Web Applications Based on Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 3-6 November 2003, Dallas, TX, USA, Proceedings, pp. 652-656, 2003, IEEE Computer Society, 0-7695-2020-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Web testing, Software testing, Web application, Program slicing, Regression testing |
12 | Rolf Hoffmann, Klaus-Peter Völkmann, Wolfgang Heenes |
GCA: A Massively Parallel Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 270, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Jack da Silva, Austin L. Hughes |
Monte Carlo Simulation of HIV-1 Evolution in Response to Selection by Antibodies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings, 2002, IEEE Computer Society, 0-7695-1573-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Jih-Kwon Peir, Shih-Chang Lai, Shih-Lien Lu, Jared Stark, Konrad Lai |
Bloom filtering cache misses for accurate data speculation and prefetching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 16th international conference on Supercomputing, ICS 2002, New York City, NY, USA, June 22-26, 2002, pp. 189-198, 2002, ACM, 1-58113-483-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
bloom filter, instruction scheduling, data cache, data prefetching, data speculation |
12 | Hideki Shimada, Shigeaki Tagashira, Tsuneo Nakanishi, Akira Fukuda |
Evaluation of a Location Management System for Wireless Communicating Mobile Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOIN (2) ![In: Information Networking, Wireless Communications Technologies and Network Applications, International Conference, ICOIN 2002, Cheju Island, Korea, January 30 - February 1, 2002, Revised Papers, Part II, pp. 154-164, 2002, Springer, 3-540-44255-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Mark S. Squillante, Baffelly Woo, Li Zhang 0002 |
Analysis of queues under correlated arrivals with applications to web server performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 28(4), pp. 41-43, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Hakan Yalcin, Mohammad Mortazavi, Robert Palermo, Cyrus Bamji, Karem A. Sakallah, John P. Hayes |
Fast and accurate timing characterization using functionalinformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(2), pp. 315-331, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Chen-Yong Cher, T. N. Vijaykumar |
Skipper: a microarchitecture for exploiting control-flow independence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 34th Annual International Symposium on Microarchitecture, Austin, Texas, USA, December 1-5, 2001, pp. 4-15, 2001, ACM/IEEE Computer Society, 0-7695-1369-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Hongwei Xi, Robert Harper 0001 |
A Dependently Typed Assembly Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Firenze (Florence), Italy, September 3-5, 2001., pp. 169-180, 2001, ACM, 1-58113-415-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
The Control of Synchronous Systems, Part II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings, pp. 566-582, 2001, Springer, 3-540-42497-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Ralf Hartmut Güting, Michael H. Böhlen, Martin Erwig, Christian S. Jensen, Nikos A. Lorentzos, Markus Schneider 0001, Michalis Vazirgiannis |
A foundation for representing and querying moving objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 25(1), pp. 1-42, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
moving point, moving region, spatio-temporal data types, moving objects, abstract data types, algebra, spatio-temporal databases |
12 | Tetsuro Katayama, Keizo Saisho, Akira Fukuda |
Proposal of a Support System for Device Driver Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 6th Asia-Pacific Software Engineering Conference (APSEC '99), 7-10 December 1999, Takamatsu, Japan, pp. 494-, 1999, IEEE Computer Society, 0-7695-0509-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
network, operating systems, ethernet, device drivers, automatic generation |
12 | Atsushi Igarashi, Benjamin C. Pierce |
Foundations for Virtual Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'99 - Object-Oriented Programming, 13th European Conference, Lisbon, Portugal, June 14-18, 1999, Proceedings, pp. 161-185, 1999, Springer, 3-540-66156-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Eric Fleury, Pierre Fraigniaud |
A General Theory for Deadlock Avoidance in Wormhole-Routed Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 9(7), pp. 626-638, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Routing, multicast, deadlock, wormhole |
12 | Biplav Srivastava, Subbarao Kambhampati, Amol Dattatraya Mali |
A Structured Approach for Synthesizing Planners from Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 18-27, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
planners synthesis, domain-independent approach, error-proneness, manual coding, knowledge-based software synthesis tools, CLAY, Kestrel Interactive Development System, declarative control knowledge, AI, specifications, knowledge based systems, structured approach |
12 | Kazuo J. Ezawa, Steven W. Norton |
Constructing Bayesian Networks to Predict Uncollectible Telecommunications Accounts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Expert ![In: IEEE Expert 11(5), pp. 45-51, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
12 | J. Michael Pratt, Maxine S. Cohen |
A Process-Oriented Scientific Database Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 21(3), pp. 17-25, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
12 | Mahmud Shahriar Hossain, Satish Tadepalli, Layne T. Watson, Ian Davidson, Richard F. Helm, Naren Ramakrishnan |
Unifying dependent clustering and disparate clustering for non-homogeneous data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 16th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, July 25-28, 2010, pp. 593-602, 2010, ACM, 978-1-4503-0055-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
multi-criteria optimization., relational clustering, clustering, contingency tables |
12 | Yonatan Myers, Leo Joskowicz |
Point distance and orthogonal range problems with dependent geometric uncertainties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid and Physical Modeling ![In: ACM Symposium on Solid and Physical Modeling, Proceedings of the 15th ACM Symposium on Solid and Physical Modeling, SPM 2010, Haifa, Israel, September 1-3, 2010, pp. 61-70, 2010, ACM, 978-1-60558-984-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Maarten H. Everts, Henk Bekker, Jos B. T. M. Roerdink, Tobias Isenberg 0001 |
Depth-Dependent Halos: Illustrative Rendering of Dense Line Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 15(6), pp. 1299-1306, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Ira Neitzel, Uwe Prüfert, Thomas Slawig |
Strategies for time-dependent PDE control with inequality constraints using an integrated modeling and simulation environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 50(3), pp. 241-269, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Parabolic PDEs, Integrated modeling and simulation environments, Optimal control, Inequality constraints |
12 | Lynne E. Parker, Christopher M. Reardon, Heeten Choxi, Cortney Bolden |
Using critical junctures and environmentally-dependent information for management of tightly-coupled cooperation in heterogeneous robot teams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 2729-2736, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Benoît Chapurlat, Hisataka Maruyama, Yoko Yamanishi, Kyosuke Kotani, Fumihito Arai |
Size-dependent microparticle filtration using magnetically driven microtool for producing gel-microtool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 4718-4723, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Chen-Hsuan Lin, Chun-Yao Wang |
Dependent latch identification in the reachable state space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 14th Asia South Pacific Design Automation Conference, ASP-DAC 2009, Yokohama, Japan, January 19-22, 2009, pp. 630-635, 2009, IEEE, 978-1-4244-2748-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Modjtaba Khalidji, Hossein Moeinzadeh, Ahmad Akbari, Bijan Raahemi |
LDA Pre-processing for Classification: Class-Dependent Single Objective GA and Multi-objective GA Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2009, 10th International Conference, Burgos, Spain, September 23-26, 2009. Proceedings, pp. 457-464, 2009, Springer, 978-3-642-04393-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Genetic Algorithm, Classification, Linear Discriminate Analysis, Multi-Objective Genetic Algorithm, Pre-processing |
12 | Frank K. H. A. Dehne, Masoud T. Omran, Jörg-Rüdiger Sack |
Shortest paths in time-dependent FIFO networks using edge load forecasts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIS-IWCTS ![In: Proceedings of the Second International Workshop on Computational Transportation Science, IWCTS 2009, November 3, 2009, Seattle, Washington, USA, Proceedings, pp. 1-6, 2009, ACM, 978-1-60558-861-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 30973 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|