|
|
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 |
23 | F. Keith Hanna, Neil Daeche, Mark Longley |
Specification and Verification Using Dependent Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(9), pp. 949-964, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
VERITAS/sup +/, iterative structures, functional metalanguage, computational implementation, modeling, modelling, formal specification, theorem proving, theorem proving, iterative methods, dependent types, numerals, specification logic |
22 | Xiao Peng 0001, Prahlad Vadakkepat, Tong Heng Lee |
Context-Dependent DNA Coding With Redundancy and Introns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part B ![In: IEEE Trans. Syst. Man Cybern. Part B 38(2), pp. 331-341, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Zhi Zheng 0007, Edmond C. Prakash, Tony K. Y. Chan |
Interactive View-Dependent Rendering over Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 14(3), pp. 576-589, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Hiroshi Unno 0001, Naoki Kobayashi 0001 |
On-Demand Refinement of Dependent Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings, pp. 81-96, 2008, Springer, 978-3-540-78968-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Tomoya Kawakami, Susumu Takeuchi, Yuuichi Teranishi, Kaname Harumoto, Shinji Shimojo |
A P2P-Based Mechanism for Managing Location-Dependent Contents in Ubiquitous Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAINT Workshops ![In: 2007 International Symposium on Applications and the Internet - Workshops (SAINT 2007 Workshops), 15-19 January 2007, Hiroshima, Japan, pp. 54, 2007, IEEE Computer Society, 0-7695-2757-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Hung-Hsu Tsai, Ji-Shiung Cheng |
Adaptive Signal-Dependent Audio Watermarking Based on Human Auditory System and Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 23(3), pp. 191-206, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
audio authentication, human auditory system, neural networks, data hiding, audio watermarking |
22 | Peter Geibel, Fritz Wysotzki |
Learning Perceptrons and Piecewise Linear Classifiers Sensitive to Example Dependent Costs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 21(1), pp. 45-56, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
neural networks, classification, learning, costs, risk, perceptron |
22 | Xiumei Jia, Jia-Huai You, Li-Yan Yuan |
Adding Domain Dependent Knowledge into Answer Set Programs for Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings, pp. 400-415, 2004, Springer, 3-540-22671-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Anke Meyer-Bäse, Fabian J. Theis, Oliver Lange, Carlos García Puntonet |
Tree-Dependent and Topographic Independent Component Analysis for fMRI Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA ![In: Independent Component Analysis and Blind Signal Separation, Fifth International Conference, ICA 2004, Granada, Spain, September 22-24, 2004, Proceedings, pp. 782-789, 2004, Springer, 3-540-23056-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Giacomo Cabri, Letizia Leonardi, Franco Zambonelli |
Engineering Mobile Agent Applications via Context-Dependent Coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 28(11), pp. 1039-1055, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Mobility, middleware, context-awareness, agents, coordination, Internet computing |
22 | Shinsuke Nakajima, Satoshi Oyama, Kazutoshi Sumiya, Katsumi Tanaka |
Context-Dependent Web Bookmarks and Their Usage as Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: 3rd International Conference on Web Information Systems Engineering, WISE 2002, Singapore, December 12-14, 2002, Proceedings, pp. 333-344, 2002, IEEE Computer Society, 0-7695-1766-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Fedor V. Fomin, Andrzej Lingas |
Approximation Algorithms for Time-Dependent Orienteering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001, Proceedings, pp. 508-515, 2001, Springer, 3-540-42487-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | David A. Kearney |
Theoretical Limits on the Data Dependent Performance of Asynchronous Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '99), 19-22 April 1999, Barcelona, Spain, pp. 201-207, 1999, IEEE Computer Society, 0-7695-0031-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Andreas Kosmala, Jörg Rottland, Gerhard Rigoll |
Improved On-Line Handwriting Recognition Using Context Dependent Hidden Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 4th International Conference Document Analysis and Recognition (ICDAR '97), 2-Volume Set, August 18-20, 1997, Ulm, Germany, Proceedings, pp. 641-644, 1997, IEEE Computer Society, 0-8186-7898-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
22 | John Zahorjan, Edward D. Lazowska |
Incorporating Load Dependent Servers in Approximate Mean Value Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1984 ACM SIGMETRICS conference on Measurement and modeling of computer systems, Cambridge, Massachusetts, USA, August 21-24, 1984, pp. 52-62, 1984, ACM, 0-89791-141-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
22 | Jonathan T.-Y. Chang, Chao-Wen Tseng, Chien-Mo James Li, Mike Purtell, Edward J. McCluskey |
Analysis of pattern-dependent and timing-dependent failures in an experimental test chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings IEEE International Test Conference 1998, Washington, DC, USA, October 18-22, 1998, pp. 184-193, 1998, IEEE Computer Society, 0-7803-5093-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Dong Tang, Ravishankar K. Iyer |
Analysis and Modeling of Correlated Failures in Multicomputer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 41(5), pp. 567-577, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
correlated failures, DEC VAX-cluster, c-dependent model, p-dependent model, fault tolerant computing, dependability, multiprocessing systems, computation theory, multicomputer systems, shared resources |
21 | Vinod K. Agarwal, Gerald M. Masson |
Resolution-Oriented Fault Interrelationships in Combinational Logic Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 26(11), pp. 1170-1175, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
Boolean difference, combinational logic networks, complete masking, fault dependent Boolean difference, fault dependent testing, fault interrelationships, fault resolution, multiple fault analysis, unresolvability, functional equivalence |
20 | Katrin Witting, Bernd Schulz, Michael Dellnitz, Joachim Böcker, Norbert Fröhleke |
A new approach for online multiobjective optimization of mechatronic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 10(3), pp. 223-231, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Multiobjective online optimization, Time-dependent Pareto sets, Numerical path following methods, Linear motor, Operating point assignment, Decision making, Self-optimization |
20 | Edwin C. Brady, Kevin Hammond |
A verified staged interpreter is a verified compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings, pp. 111-120, 2006, ACM, 1-59593-237-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
domain specific language implementation, resource aware programming, functional programming, partial evaluation, dependent types, multi-stage programming |
20 | Paul Klint, Ralf Lämmel, Chris Verhoef |
Toward an engineering discipline for grammarware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 14(3), pp. 331-380, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
generic language technology, grammar-dependent software, software evolution, model-driven development, metamodeling, grammars, best practices, parsers, software transformation, automated software engineering, language processing, Grammarware |
20 | Adrian Parkinson, James A. Redmond, Cathal Walsh |
Accommodating field-dependence: a cross-over study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2004, Leeds, UK, June 28-30, 2004, pp. 72-76, 2004, ACM, 1-58113-836-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
GEFT, cross-over design, field-dependent, field-independent, performance, measurement, human factors, interface design, experimentation, cognitive styles, learning performance |
20 | Jan Friso Groote, Tim A. C. Willemse |
A Checker for Modal Formulae for Processes with Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, pp. 223-239, 2003, Springer, 3-540-22942-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
First Order Modal -Calculus, First Order Boolean Equation Systems, Data-Dependent Systems, Model Checking, Infinite State Systems, CRL |
20 | Peter Dybjer, Anton Setzer |
Indexed Induction-Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proof Theory in Computer Science ![In: Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings, pp. 93-113, 2001, Springer, 3-540-42752-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Dependent type theory, Martin-Löf Type Theory, inductive-recursive definitions, inductive families, normalization proofs, generic programming, inductive definitions, initial algebras |
20 | Rangasami L. Kashyap, Liwu Chang |
Study of interval belief combination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 7(1), pp. 1-13, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Belief combination, conflicting evidence, dependent evidence, interval belief |
20 | William A. Massey, Ward Whitt |
Networks of infinite-server queues with nonstationary Poisson input. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 13(1-3), pp. 183-250, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Nonstationary queues, time-dependent arrival rates, Poisson random measures, stochastic compartmental models, Poisson-arrivallocation model, dependence among queue lengths at different times, queueing networks, infinite-server queues |
20 | Domingo Martín, Germán Arroyo, María Victoria Luzón, Tobias Isenberg 0001 |
Example-Based Stippling using a Scale-Dependent Grayscale Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NPAR ![In: 8th International Symposium on Non-Photorealistic Animation and Rendering, NPAR 2010, Annecy, France, June 7-10, 2010, Proceedings, pp. 51-61, 2010, ACM, 978-1-4503-0125-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
example-based techniques, high-quality rendering, scale-dependent NPR, illustrative visualization, stippling |
20 | Reza Tavakkoli-Moghaddam, M. Khalili, B. Naderi 0001 |
A hybridization of simulated annealing and electromagnetic-like mechanism for job shop problems with machine availability and sequence-dependent setup times to minimize total weighted tardiness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 13(10), pp. 995-1006, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Machine availability constraints, Electromagnetism-like mechanism, Hybrid meta-heuristic method, Simulated annealing, Job shop, Sequence-dependent setup times |
20 | Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary |
Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009, pp. 121-130, 2009, ACM, 978-1-60558-327-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
static array bounds checking, verilog elaboration, verilog wire width consistency, dependent types, dead code elimination |
20 | Mary Magdalene Jane F., Ilayaraja N., Ashwin Raghav M., R. Nadarajan, Maytham Safar |
Entry and exit probabilities based cache replacement policy for location dependent data in mobile environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoMM ![In: MoMM'2009 - The 7th International Conference on Advances in Mobile Computing and Multimedia, 14-16 December 2009, Kuala Lumpur, Malaysia, pp. 204-210, 2009, ACM, 978-1-60558-659-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
location-dependent information services, performance evaluation, mobile computing, cache replacement |
20 | Bingjun Zhang, Qiaoliang Xiang, Huanhuan Lu, Jialie Shen 0001, Ye Wang 0007 |
Comprehensive query-dependent fusion using regression-on-folksonomies: a case study of multimodal music search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 17th International Conference on Multimedia 2009, Vancouver, British Columbia, Canada, October 19-24, 2009, pp. 213-222, 2009, ACM, 978-1-60558-608-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
multimodal search, query-dependent fusion, music, folksonomy |
20 | Hiroshi Unno 0001, Naoki Kobayashi 0001 |
Dependent type inference with interpolants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal, pp. 277-288, 2009, ACM, 978-1-60558-568-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
type inference, dependent types |
20 | Christian Artigues, Dominique Feillet |
A branch and bound method for the job-shop problem with sequence-dependent setup times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 159(1), pp. 135-159, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Dynamic programming, Branch and bound, Constraint propagation, Job-shop scheduling, Sequence-dependent setup times |
20 | Sachin S. Talathi, Dong-Uk Hwang, William L. Ditto |
Spike timing dependent plasticity promotes synchrony of inhibitory networks in the presence of heterogeneity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 25(2), pp. 262-281, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Inhibitory synapses, Networks, Synchronization, Heterogeneity, Spike timing dependent plasticity |
20 | Ken C. K. Lee, Josh Schiffman, Baihua Zheng, Wang-Chien Lee |
Valid scope computation for location-dependent spatial query in mobile broadcast environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 17th ACM Conference on Information and Knowledge Management, CIKM 2008, Napa Valley, California, USA, October 26-30, 2008, pp. 1231-1240, 2008, ACM, 978-1-59593-991-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
location-dependent spatial query, valid scope, data broadcast |
20 | Yann Disser, Matthias Müller-Hannemann, Mathias Schnee |
Multi-criteria Shortest Paths in Time-Dependent Train Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEA ![In: Experimental Algorithms, 7th International Workshop, WEA 2008, Provincetown, MA, USA, May 30-June 1, 2008, Proceedings, pp. 347-361, 2008, Springer, 978-3-540-68548-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
time-dependent graphs, case study, shortest paths, multi-criteria optimization, speed-up techniques |
20 | Michael Backes 0001, Markus Dürmuth, Dominique Unruh |
OAEP Is Secure under Key-Dependent Messages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2008, 14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2008. Proceedings, pp. 506-523, 2008, Springer, 978-3-540-89254-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Key-dependent message security, RSA-OAEP, chosen ciphertext attacks |
20 | Guangjun Xie, Lu Qi, Feng Wang, Gang Wang 0001, Xiaoguang Liu 0001, Jing Liu 0010 |
ESnapII: A Writable Dependent Snapshot System with Shared Cache. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008, In conjunction with Second International Workshop on Advanced Internet Technology and Applications, August 6-8, 2008, Phuket, Thailand, pp. 677-682, 2008, IEEE Computer Society, 978-0-7695-3263-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
dependent snapshot, LVM, metadata management |
20 | Yukiyasu Tsunoo, Teruo Saito, Hiroyasu Kubo, Tomoyasu Suzaki |
Key Recovery Attack on Stream Cipher Mir-1 Using a Key-Dependent S-Box. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICS ![In: Information and Communications Security, 10th International Conference, ICICS 2008, Birmingham, UK, October 20-22, 2008, Proceedings, pp. 128-140, 2008, Springer, 978-3-540-88624-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
key-dependent S-box, Mir-1, stream cipher, eSTREAM, key recovery attack |
20 | Naoki Masuda, Hiroshi Kori |
Formation of feedforward networks and frequency synchrony by spike-timing-dependent plasticity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 22(3), pp. 327-345, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Synchronization, Complex networks, Spike-timing-dependent plasticity, Feedforward networks |
20 | Silvio A. de Araujo, Marcos Nereu Arenales, Alistair R. Clark |
Joint rolling-horizon scheduling of materials processing and lot-sizing with sequence-dependent setups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Heuristics ![In: J. Heuristics 13(4), pp. 337-358, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Sequence-dependent setup costs and times, Fix-and-relax, Scheduling, Local search, Lot-sizing |
20 | Shai Halevi, Hugo Krawczyk |
Security under key-dependent inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2007 ACM Conference on Computer and Communications Security, CCS 2007, Alexandria, Virginia, USA, October 28-31, 2007, pp. 466-475, 2007, ACM, 978-1-59593-703-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
circular encryption, key-dependent input, self encryption |
20 | Rei Yoshida, Rie Shigetomi, Kazuki Yoshizoe, Akira Otsuka, Hideki Imai |
A Privacy Protection Scheme for a Scalable Control Method in Context-Dependent Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWoRC ![In: Research in Cryptology, Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers, pp. 1-12, 2007, Springer, 978-3-540-88352-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Context-dependent Service, Randomized Response Technique, Privacy Protection |
20 | Wolfgang Bziuk |
Uniform Approximations for Multirate Loss Systems with State Dependent Arrival Rates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Managing Traffic Performance in Converged Networks, 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007, Proceedings, pp. 754-766, 2007, Springer, 978-3-540-72989-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Multirate Loss System, Complete Sharing, State Dependent Arrival Rates, Uniform Approximation |
20 | Ajey Kumar, Manoj Misra, Anil Kumar Sarje |
A weighted cache replacement policy for location dependent data in mobile environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 920-924, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
mobile computing, cache replacement, location dependent data |
20 | Yan-En Wang, Sheng-Min Wei, Xiu-Tian Yan 0001, Qingfeng Zeng |
Integrating Domain Dependent Tools in Artificial Bone Scaffolds Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDVE ![In: Cooperative Design, Visualization, and Engineering, 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007, Proceedings, pp. 307-314, 2007, Springer, 978-3-540-74779-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
domain dependent tools, artificial bone scaffolds, Integration |
20 | Ivica Kopriva |
Blind Signal Deconvolution as an Instantaneous Blind Separation of Statistically Dependent Sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA ![In: Independent Component Analysis and Signal Separation, 7th International Conference, ICA 2007, London, UK, September 9-12, 2007., pp. 504-511, 2007, Springer, 978-3-540-74493-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Instantaneous mixture model, Statistically dependent sources, Independent component analysis, Blind source separation, Blind deconvolution |
20 | Xiaoli Ren, Lu Liu, Chenggong Lv |
An Object-Dependent and Context Constraints-Aware Access Control Approach Based on RBAC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONFENIS (2) ![In: Research and Practical Issues of Enterprise Information Systems II, Volume 2, IFIP TC 8 WG 8.9 International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2007), October 14-16, 2007, Beijing, China, pp. 1507-1514, 2007, Springer, 978-0-387-76311-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Context constraints, Role-based access control, Security policy, SoD, Object-dependent |
20 | Conor McBride |
What's the deal with dependent types? ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Nice, France, January 16, 2007, pp. 1-2, 2007, ACM, 1-59593-393-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
epigram, pattern matching, dependent types |
20 | Jörg Weber, Franz Wotawa |
Diagnosing Dependent Failures in the Hardware and Software of Mobile Autonomous Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: New Trends in Applied Artificial Intelligence, 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007, Proceedings, pp. 633-643, 2007, Springer, 978-3-540-73322-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Dependent Failures, Monitoring, Model-based Reasoning, Model-based Diagnosis |
20 | Abdallah Mhamed, Cecilia Fred, Arab Farah |
An Authentication Architecture Dedicated to Dependent People in Smart Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOST ![In: Pervasive Computing for Quality of Life Enhancement, 5th International Conference On Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007, Proceedings, pp. 90-98, 2007, Springer, 978-3-540-73034-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
dependent people, security, authentication, Pervasive computing, biometrics, user profile, smart home |
20 | Andreas Krause 0001, Asim Smailagic, Daniel P. Siewiorek |
Context-Aware Mobile Computing: Learning Context-Dependent Personal Preferences from a Wearable Sensor Array. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 5(2), pp. 113-127, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
wearable AI, machine learning, mobile computing, wearable computers, statistical models, Location-dependent and sensitive |
20 | M. Yamanaka, G. Tsuchida, Susumu Ishihara |
A replica distrubution scheme for location-dependent information on vehicular ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vehicular Ad Hoc Networks ![In: Proceedings of the Third International Workshop on Vehicular Ad Hoc Networks, VANET 2006, Los Angeles, CA, USA, September 29, 2007, pp. 98-99, 2006, ACM, 1-59593-540-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
replica dissemination, data sharing, intersection, geocasting, location-dependent data |
20 | Yu Gao, Baosong Deng, Lingda Wu |
Efficient view-dependent out-of-core rendering of large-scale and complex scenes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRCIA ![In: Proceedings VRCIA 2006 ACM International Conference on Virtual Reality Continuum and its Applications, Chinese University of Hong Kong, Hong Kong, China, June 14-17, 2006, pp. 297-303, 2006, ACM, 1-59593-324-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
hierarchical level of detail (HLOD), out-of-core rendering, view frustum culling, view-dependent refinement |
20 | Jianwei Zhang 0006, Yizheng Ye, Bin-Da Liu |
A new mismatch-dependent low power technique with shadow match-line voltage-detecting scheme for CAMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2006 International Symposium on Low Power Electronics and Design, 2006, Tegernsee, Bavaria, Germany, October 4-6, 2006, pp. 135-138, 2006, ACM, 1-59593-462-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
mismatch-dependent, voltage detecting, low power, high speed, CAM |
20 | Farooq Anjum |
Location dependent key management using random key-predistribution in sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Wireless Security ![In: Proceedings of the 2006 ACM Workshop on Wireless Security, Los Angeles, California, USA, September 29, 2006, pp. 21-30, 2006, ACM, 1-59593-557-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
location dependent, sensor networks, key management |
20 | Jack Brimberg, Saïd Salhi |
A Continuous Location-Allocation Problem with Zone-Dependent Fixed Cost. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 136(1), pp. 99-115, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
zone-dependent, fixed cost, plant location, continuous space |
20 | Christian Artigues, Pierre Lopez, Pierre-Dimitri Ayache |
Schedule Generation Schemes for the Job-Shop Problem with Sequence-Dependent Setup Times: Dominance Properties and Computational Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 138(1), pp. 21-52, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
schedule generation scheme, dominance properties, priority rules, job-shop, scheduling theory, sequence-dependent setup times |
20 | Ismael García-Varea, Francisco Casacuberta |
Maximum Entropy Modeling: A Suitable Framework to Learn Context-Dependent Lexicon Models for Statistical Machine Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 60(1-3), pp. 135-158, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
context-dependent lexicon models, statistical machine translation, maximum entropy modeling |
20 | Yuanchen Zhu |
Uniform Remeshing with an Adaptive Domain: A New Scheme for View-Dependent Level-of-Detail Rendering of Meshes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 11(3), pp. 306-316, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
view-dependent meshes, Level-of-detail, remeshing, multiresolution representation, frame-to-frame coherence |
20 | Xing Gao, Ali R. Hurson |
Location dependent query proxy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 1120-1124, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
validity region, caching, proxy, location dependent query |
20 | Damien Porquet, Jean-Michel Dischler, Djamchid Ghazanfarpour |
Real-time high-quality View-Dependent Texture Mapping using per-pixel visibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRAPHITE ![In: Proceedings of the 3rd International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia 2005, Dunedin, New Zealand, November 29 - December 2, 2005, pp. 213-220, 2005, ACM, 1-59593-201-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
View-Dependent Texture Mapping, image-based rendering, graphics hardware, real-time rendering |
20 | Jun-Yup Kim, Seung-Hwan Kim 0001, Yo-Sung Ho |
A Frame-Layer Rate Control Algorithm for H.264 Using Rate-Dependent Mode Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PCM (2) ![In: Advances in Multimedia Information Processing - PCM 2005, 6th Pacific-Rim Conference on Multimedia, Jeju Island, Korea, November 13-16, 2005, Proceedings, Part II, pp. 477-488, 2005, Springer, 3-540-30040-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
H.264 video coding, Rate-dependent mode selection, Rate control |
20 | Georg N. Krieg, Heinrich Kuhn |
Analysis of Multi-Product Kanban Systems with State-Dependent Setups and Lost Sales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 125(1-4), pp. 141-166, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
production-inventory system, multi-product system, state-dependent setups, performance evaluation, decomposition, kanban |
20 | Christoph Garth, Xavier Tricoche, Gerik Scheuermann |
Tracking of Vector Field Singularities in Unstructured 3D Time-Dependent Datasets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Visualization ![In: 15th IEEE Visualization Conference, IEEE Vis 2004, Austin, TX, USA, October 10-15, 2004, Proceedings, pp. 329-336, 2004, IEEE Computer Society, 0-7803-8788-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
topology tracking, time-dependent datasets, vortex breakdown, flow visualization |
20 | Li Tao, Vijayan K. Asari |
An Integrated Neighborhood Dependent Approach for Nonlinear Enhancement of Color Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (2) ![In: International Conference on Information Technology: Coding and Computing (ITCC'04), Volume 2, April 5-7, 2004, Las Vegas, Nevada, USA, pp. 138-139, 2004, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
luminance space, dynamic range compression, pixel based modeling, neighborhood dependent adjustment, image enhancement, contrast enhancement |
20 | Magnús M. Halldórsson, Guy Kortsarz, Hadas Shachnai |
Sum Coloring Interval and k-Claw Free Graphs with Application to Scheduling Dependent Jobs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 37(3), pp. 187-209, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Sum Coloring, Scheduling dependent jobs, Approximation algorithms, Multicoloring |
20 | Daniel I. Azuma, Daniel N. Wood, Brian Curless, Tom Duchamp, David Salesin, Werner Stuetzle |
View-dependent refinement of multiresolution meshes with subdivision connectivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Afrigraph ![In: Proceedings of the 2nd International Conference on Computer Graphics, Virtual Reality, Visualisation and Interaction in Africa, Afrigraph 2003, Cape Town, South Africa, February 3-5, 2003, pp. 69-78, 2003, ACM, 1-58113-643-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
wavelets, level-of-detail, multiresolution representations, view-dependent refinement |
20 | Nicolas Fiétier, Michel O. Deville |
Simulations of Time-Dependent Flows of Viscoelastic Fluids with Spectral Element Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 17(1-4), pp. 649-657, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
viscoelastic fluids, time dependent flows, spectral element |
20 | Il-dong Jung, Young-ho You, Jonghwan Lee, Kyongsok Kim |
Broadcasting and caching policies for location-dependent queries in urban areas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop Mobile Commerce ![In: Proceedings of the 2nd International Workshop on Mobile Commerce, Atlanta, Georgia, USA, September 28, 2002, pp. 54-60, 2002, ACM, 1-58113-600-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
caching policy, energy conservation, mobile databases, location-dependent query, broadcast scheme |
20 | Baolin Yang, Joel R. Phillips |
Time-domain steady-state simulation of frequency-dependent components using multi-interval Chebyshev method. ![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. 504-509, 2002, ACM, 1-58113-461-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
RF circuit simulation, frequency dependent, S parameter |
20 | Waiman Cheung, Hong Zhou 0002 |
Using Genetic Algorithms and Heuristics for Job Shop Scheduling with Sequence-Dependent Setup Times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 107(1-4), pp. 65-81, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
genetic algorithm and heuristic, scheduling, job shop, sequence-dependent setup time |
20 | Enrico Vicario |
Static Analysis and Dynamic Steering of Time-Dependent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 27(8), pp. 728-748, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Time-dependent systems, timeliness predictability, enumerative static analysis, dynamic task guarantee, quantitative timing estimation, Time Petri Nets, hard real-time systems |
20 | Anthony G. Nguyen, Jenq-Neng Hwang |
Scene context dependent rate control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 9th ACM International Conference on Multimedia 2001, Ottawa, Ontario, Canada, September 30 - October 5, 2001, pp. 309-318, 2001, ACM, 1-58113-394-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
constant bit rate (CBR), rate control (RC), scene context dependent (SCD), variable bit rate (VBR) |
20 | Elisabeth Uhlemann, Per-Arne Wiberg, Tor Aulin, Lars K. Rasmussen |
Deadline dependent coding-a framework for wireless real-time communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 135-, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
deadline dependent coding, wireless real-time communication, DDC protocol, quality of service, real-time systems, encoding, decoding, real-time communication, automatic repeat request, automatic repeat request, wireless channel, block codes, block codes, soft decision decoding, quality of service parameters |
20 | Christoph Liebig, Mariano Cilia, Alejandro P. Buchmann |
Event Composition in Time-dependent Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoopIS ![In: Proceedings of the Fourth IFCIS International Conference on Cooperative Information Systems, Edinburgh, Scotland, USA, September 2-4, 1999, pp. 70-78, 1999, IEEE Computer Society, 0-7695-0384-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
distributed active systems, time-dependent distributed systems, distributed event composition, event time stamping |
20 | Serguei Foss, Natalia Chernova |
On the stability of a partially accessible multi-station queue with state-dependent routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 29(1), pp. 55-73, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
customer class, state-dependent routing, stability, Markov chain, fluid limit, multi-server queue |
20 | David A. Kearney, Neil W. Bergmann |
Bundled Data Asynchronous Multipliers with Data Dependent Computation Times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 7-10 April 1997, Eindhoven, The Netherlands, pp. 186-197, 1997, IEEE Computer Society, 0-8186-7922-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
asynchronous logic data dependent performance multiplier |
20 | Alessio Gaspar, Philippe Collard |
Time Dependent Optimization with a Folding Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 9th International Conference on Tools with Artificial Intelligence, ICTAI '97, Newport Beach, CA, USA, November 3-8, 1997, pp. 125-132, 1997, IEEE Computer Society, 0-8186-8203-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Time Dependent Optimization, meta-genes, Genetic Algorithms |
20 | Spyros G. Tzafestas, Alekos Triantafyllakis, George Rizos |
Scheduling dependent tasks on identical machines using a novel heuristic criterion: A robotic computation example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 12(3), pp. 229-237, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
dependent tasks, makespan criterion, list scheduling algorithms, heuristic algorithms, Scheduling problems, dispatching rules |
20 | Ignacio Martín Llorente, Juan Carlos Fabero, Francisco Tirado, Alfredo Bautista |
Distributed parallel computers versus PVM on a workstation cluster in the simulation of time dependent partial differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 20-26, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Schrodinger equation, parallel numerical simulation, Schrodinger equation, message passing parallel machine, Sparc-stations, performance evaluation, parallel algorithms, parallel computing, partial differential equations, PVM, workstation cluster, finite difference method, wave equations, large-scale problems, time dependent, distributed parallel computers |
20 | Hsing Mei |
Scheduling dependent real-time multimedia tasks on distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 19th International Computer Software and Applications Conference (COMPSAC'95), August 9-11, 1995, Dallas, Texas, USA, pp. 306-311, 1995, IEEE Computer Society, 0-8186-7119-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
real-time multimedia task scheduling, periodic dependent real-time multimedia tasks, Multimedia Task Graph model, system reward value, scheduling, Quality of Services, distributed systems, real-time systems, resource allocation, distributed processing, software quality, synchronisation, processor scheduling, deadlines, multimedia computing, execution time, average response time, synchronization methods |
20 | Julian Keilson, Leslie D. Servi |
The M/G/1/K blocking formula and its generalizations to state-dependent vacation systems and priority systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 14(1-2), pp. 111-123, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
finite capacity systems, state-dependent schedules, priority systems, Blocking probabilities |
20 | David M. Ogle, Karsten Schwan, Richard T. Snodgrass |
Application-Dependent Dynamic Monitoring of Distributed and Parallel Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(7), pp. 762-778, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
application dependent dynamic monitoring, off-line program analysis, on-line debugging, uniform data model, program-specific monitoring code, distributed analysis, programtesting, distributed systems, parallel programming, specification, distributed processing, distributed programs, parallel systems, program debugging, attributes, parallelmachines |
20 | Ian F. Akyildiz, Albrecht Sieber |
Approximate Analysis of Load Dependent General Queueing Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(11), pp. 1537-1545, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
load-dependent, service-time distributions, conditional throughputs, tolerance level, scheduling, scheduling, performance evaluation, performance evaluation, queueing theory, queueing networks |
19 | Vishvjit S. Nalwa |
Line-drawing interpretation: A mathematical framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 2(2), pp. 103-124, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
19 | Radko Mesiar, Andrea Mesiarová-Zemánková, Khurshid Ahmad 0001 |
Level-Dependent Sugeno Integral. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 17(1), pp. 167-172, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Hossein Moeinzadeh, Mehdi Mohammadi, Ahmad Akbari, Babak Nasersharif |
Robust speech recognition using evolutionary class-dependent LDA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, Companion Material, pp. 2109-2114, 2009, ACM, 978-1-60558-505-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mfcc, particle swarm optimization, speech recognition, linear discriminate analysis, harmony search, transformation matrix |
19 | Marcello M. Bonsangue, Dave Clarke 0001, Alexandra Silva 0001 |
Automata for Context-Dependent Connectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, pp. 184-203, 2009, Springer, 978-3-642-02052-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Eric Bodden, Feng Chen 0006, Grigore Rosu |
Dependent advice: a general approach to optimizing history-based aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 8th International Conference on Aspect-Oriented Software Development, AOSD 2009, Charlottesville, Virginia, USA, March 2-6, 2009, pp. 3-14, 2009, ACM, 978-1-60558-442-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
compilation, domain-specific languages, runtime verification, static program analysis |
19 | Zhiwu Li 0001, Mi Zhao |
On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 38(2), pp. 369-384, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Daniel Delling |
Time-Dependent SHARC-Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2008, 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008. Proceedings, pp. 332-343, 2008, Springer, 978-3-540-87743-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Ana Bove, Peter Dybjer |
Dependent Types at Work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LerNet ALFA Summer School ![In: Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures, pp. 57-99, 2008, Springer, 978-3-642-03152-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Bolin Ding, Jeffrey Xu Yu, Lu Qin 0001 |
Finding time-dependent shortest paths over large graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: EDBT 2008, 11th International Conference on Extending Database Technology, Nantes, France, March 25-29, 2008, Proceedings, pp. 205-216, 2008, ACM, 978-1-59593-926-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Christophe De Vleeschouwer, Pascal Frossard |
Dependent Packet Transmission Policies in Rate-Distortion Optimized Media Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Multim. ![In: IEEE Trans. Multim. 9(6), pp. 1241-1258, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Huai-Ning Wu, Han-Xiong Li |
New Approach to Delay-Dependent Stability Analysis and Stabilization for Continuous-Time Fuzzy Systems With Time-Varying Delay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 15(3), pp. 482-493, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Meng Chen, Gang Feng 0001, Haibo Ma |
A Delay-Dependent Approach to H-infinity Filtering for Fuzzy Time-Varying Delayed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2007, IEEE International Conference on Fuzzy Systems, Imperial College, London, UK, 23-26 July, 2007, Proceedings, pp. 1-6, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Nicolas Oury |
Pattern matching coverage checking with dependent types using set approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the ACM Workshop Programming Languages meets Program Verification, PLPV 2007, Freiburg, Germany, October 5, 2007, pp. 47-56, 2007, ACM, 978-1-59593-677-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
coverage checking, set approximation, pattern matching |
19 | Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula |
Dependent Types for Low-Level Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 520-535, 2007, Springer, 978-3-540-71314-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Xiaojun Ding, Junichi Iijima |
Toward a Logical Architecture for Situation Dependent Information Services with Surrounding Awareness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC ![In: Grid and Cooperative Computing, Sixth International Conference on Grid and Cooperative Computing, GCC 2007, August 16-18, 2007, Urumchi, Xinjiang, China, Proceedings, pp. 871-877, 2007, IEEE Computer Society, 0-7695-2871-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 30973 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|