|
|
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 |
15 | Manuel E. Benitez, Jack W. Davidson |
The Advantages of Machine-Dependent Global Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Languages and System Architectures ![In: Programming Languages and System Architectures, International Conference, Zurich, Switzerland, March 2-4, 1994, Proceedings, pp. 105-124, 1994, Springer, 3-540-57840-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Ugo Montanari, Francesca Rossi 0001 |
Graph Grammars as Context-Dependent Rewriting Systems: A Partial Ordering Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '92, 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, Proceedings, pp. 232-247, 1992, Springer, 3-540-55251-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Anthony E. Krzesinski, J. Greyling |
Improved Lineariser Methods for Queueing Networks with Queue Dependent Centres. ![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. 41-51, 1984, ACM, 0-89791-141-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
Product from solutions, Error analysis, Mean value analysis, Approximate solutions, Multiclass queueing networks |
15 | Kenneth Lloyd Rider |
A Simple Approximation to the Average Queue Size in the Time-Dependent M/M/1 Queue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 23(2), pp. 361-367, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
15 | Rainer Dömer, Andreas Gerstlauer, Wolfgang Müller 0003 |
Introduction to hardware-dependent software design hardware-dependent software for multi- and many-core embedded systems. ![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. 290-292, 2009, IEEE, 978-1-4244-2748-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Javier R. Saeta, Javier Hernando |
Weighting Scores to Improve Speaker-Dependent Threshold Estimation in Text-Dependent Speaker Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOLISP ![In: Nonlinear Analyses and Algorithms for Speech Processing, International Conference on Non-Linear Speech Processing, NOLISP 2005, Barcelona, Spain, April 19-22, 2005, Revised Selected Papers, pp. 81-91, 2005, Springer, 3-540-31257-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Nesrine Ouferhat, Abdelhamid Mellouk |
Inductive routing based on energy and delay metrics in wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the 6th International Wireless Communications and Mobile Computing Conference, IWCMC 2010, Caen, France, June 28 - July 2, 2010, pp. 1121-1125, 2010, ACM, 978-1-4503-0062-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
multi criteria routing optimization, state dependent algorithm, QoS, Delay, energy consumption |
14 | DeLesley S. Hutchins |
Pure subtype systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 287-298, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
abstract reduction systems, transitivity elimination, subtyping, dependent types, singleton types |
14 | Stefan Monnier, David Haguenauer |
Singleton types here, singleton types there, singleton types everywhere. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010, pp. 1-8, 2010, ACM, 978-1-60558-890-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
dependent types, certified compilation, singleton types |
14 | Stephanie Weirich, Chris Casinghino |
Arity-generic datatype-generic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010, pp. 15-26, 2010, ACM, 978-1-60558-890-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
agda, arity-generic programming, generic haskell, dependent types |
14 | Juan Chen 0002, Ravi Chugh, Nikhil Swamy |
Type-preserving compilation of end-to-end verification of security enforcement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010, pp. 412-423, 2010, ACM, 978-1-4503-0019-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
bytecode languages, compilers, authorization, functional programming, information flow, dependent types, security type systems, mobile code security |
14 | Yuta Yoshiike, Yuto Yamaji, Taisuke Miyake, P. Ravindra S. De Silva, Michio Okada |
Sociable trash box. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI ![In: Proceedings of the 5th ACM/IEEE International Conference on Human Robot Interaction, HRI 2010, Osaka, Japan, March 2-5, 2010, pp. 337-338, 2010, ACM, 978-1-4244-4893-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
child-dependent robot, sociable trash box, social rapport |
14 | G. G. Somjen, H. Kager, Wytse J. Wadman |
Calcium sensitive non-selective cation current promotes seizure-like discharges and spreading depression in a model neuron. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 26(1), pp. 139-147, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Calcium depletion, Calcium dependent current, Non-specific cation current, Seizure mechanisms, Spreading depression, Epilepsy |
14 | Min Zhao, Ning Li 0008, Shaoyuan Li |
Min-max model predictive control for constrained nonlinear systems via multiple LPV embeddings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(7), pp. 1129-1135, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
constrained nonlinear systems, LPV embedding, parameter dependent Lyapunov function, predictive control, LMI |
14 | René Berndt, Sven Havemann, Dieter W. Fellner |
3D modeling in a web browser to formulate content-based 3D queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web3D ![In: Proceeding of the 14th International Conference on 3D Web Technology, Web3D 2009, Darmstadt, Germany, June 16-17, 2009, pp. 111-118, 2009, ACM, 978-1-60558-432-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
3D search interfaces, domain-dependent modeling tools, rapid shape design, generative modeling, GML |
14 | Sara Rodríguez 0001, Juan Francisco de Paz, Javier Bajo, Dante I. Tapia, Belén Pérez Lancho |
Stereo-MAS: Multi-Agent System for Image Stereo Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (1) ![In: Bio-Inspired Systems: Computational and Ambient Intelligence, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I, pp. 1256-1263, 2009, Springer, 978-3-642-02477-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
MAS, agents, correspondence analysis, Stereoscopy, stereo cameras, artificial vision, dependent environments |
14 | Mengchi Liu, Jie Hu 0006 |
Information Networking Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2009, 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings, pp. 131-144, 2009, Springer, 978-3-642-04839-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
complex relationships, context-dependent representation, information modeling, semantic data model |
14 | Qiufeng Cai, Jianjiang Yu |
Further Stability Analysis for Neural Networks with Time-Varying Interval Delay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part I, pp. 423-432, 2009, Springer, 978-3-642-01506-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Lyapunov-Krasovskii functional, Delay-dependent, Time-varying interval delay, Neural networks (NNs) |
14 | Andrei Sherstyuk, Anton Treskunov |
Dynamic light amplification for immersive environment rendering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRCAI ![In: Proceedings of the 8th International Conference on Virtual Reality Continuum and its Applications in Industry, VRCAI 2009, Yokohama, Japan, December 14-15, 2009, pp. 247-251, 2009, ACM, 978-1-60558-912-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
improved HMD response, view-dependent lighting |
14 | Ivan A. Mikhailov, Artëm E. Masunov |
Theoretical Photochemistry of the Photochromic Molecules Based on Density Functional Theory Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (2) ![In: Computational Science - ICCS 2009, 9th International Conference, Baton Rouge, LA, USA, May 25-27, 2009, Proceedings, Part II, pp. 169-178, 2009, Springer, 978-3-642-01972-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Time Dependent Density Functional Theory, Photochromism, Photoswitching, Optical Data Storage, Double excited state, Theoretical Photochemistry, Two-photon Absorption, Rational Materials design |
14 | Akos Vetek, John A. Flanagan, Ashley Colley, Tuomas Keränen |
SmartActions: Context-Aware Mobile Phone Shortcuts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERACT (1) ![In: Human-Computer Interaction - INTERACT 2009, 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I, pp. 796-799, 2009, Springer, 978-3-642-03654-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
context-dependent systems, adaptive interfaces, Mobile interfaces |
14 | Benny Applebaum, David Cash, Chris Peikert, Amit Sahai |
Fast Cryptographic Primitives and Circular-Secure Encryption Based on Hard Learning Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2009, 29th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2009. Proceedings, pp. 595-618, 2009, Springer, 978-3-642-03355-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Key-dependent message security, Learning problems, Encryption, Lattice-based cryptography |
14 | Juan A. Fraile, Dante I. Tapia, Sara Rodríguez 0001, Juan M. Corchado |
Agents in Home Care: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HAIS ![In: Hybrid Artificial Intelligence Systems, 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, pp. 1-8, 2009, Springer, 978-3-642-02318-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Hybrid Multiagent Systems, Home Care, Dependent environments |
14 | Nikhil Swamy, Michael Hicks 0001 |
Verified enforcement of stateful information release policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 43(12), pp. 21-31, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
affine types, certified evaluation, state modifying policies, dependent types, declassification, singleton types |
14 | Annamaria Barbagallo |
Regularity results for evolutionary nonlinear variational and quasi-variational inequalities with applications to dynamic equilibrium problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 40(1-3), pp. 29-39, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Traffic equilibrium problems, Time-dependent variational and quasi-variational inequalities, Continuity of solutions, Mosco’s convergence |
14 | Abigail Morrison, Markus Diesmann, Wulfram Gerstner |
Phenomenological models of synaptic plasticity based on spike timing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 98(6), pp. 459-478, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Simulation, Modeling, Learning, Spike-timing dependent plasticity, Short term plasticity |
14 | Ji Eun Kim, Rahul Kapoor, Martin Herrmann, Jochen Härdtlein, Franz Grzeschniok, Peter Lutz |
Software Behavior Description of Real-Time Embedded Systems in Component Based Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA, pp. 307-311, 2008, IEEE Computer Society, 978-0-7695-3132-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Signal Flows, Mode Dependent Signal Flows, Component Based Software Development, Real-Time Embedded Systems, Software Behavior |
14 | Evangelos Kranakis, Michel Paquette, Andrzej Pelc |
Communication in Random Geometric Radio Networks with Positively Correlated Random Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHOC-NOW ![In: Ad-hoc, Mobile and Wireless Networks, 7th International Conference, ADHOC-NOW 2008, Sophia-Antipolis, France, September 10-12, 2008, Proceedings, pp. 108-121, 2008, Springer, 978-3-540-85208-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
dependent faults, crash faults, geometric radio network, Fault-tolerance, broadcast, random |
14 | Nathaniel Nystrom, Vijay A. Saraswat, Jens Palsberg, Christian Grothoff |
Constrained types for object-oriented languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA, pp. 457-474, 2008, ACM, 978-1-60558-215-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
constraints, dependent types, object-oriented programming languages |
14 | Hua Wang, Villy Bæk Iversen |
Teletraffic Performance Analysis of Multi-class OFDM-TDMA Systems with AMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroNGI Workshop ![In: Wireless Systems and Mobility in Next Generation Internet, 4th International Workshop of the EuroNGI/EuroFGI Network of Excellence, Barcelona, Spain, January 16-18, 2008, Revised Selected Papers, pp. 102-112, 2008, Springer, 978-3-540-89182-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
AMC, state-dependent blocking, performance evaluation, OFDM |
14 | Tao Li 0024, Xiaoling Ye, Yingchao Zhang |
Stability Criteria with Less Variables for Neural Networks with Time-Varying Delay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2008, 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part I, pp. 330-337, 2008, Springer, 978-3-540-87731-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Delay-dependent, Neural networks, Linear matrix inequality (LMI), Asymptotic stability |
14 | Nicolas Oury, Wouter Swierstra |
The power of Pi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008, pp. 39-50, 2008, ACM, 978-1-59593-919-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
domain-specific embedded languages, dependent types |
14 | Nikhil Swamy, Michael Hicks 0001 |
Verified enforcement of stateful information release policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, PLAS 2008, Tucson, AZ, USA, June 8, 2008, pp. 21-32, 2008, ACM, 978-1-59593-936-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
certified evaluation, state modifying, dependent, declassification, affine, singleton types |
14 | Tudor Barbu, Mihaela Costin |
Various Speaker Recognition Techniques Using a Special Nonlinear Metric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part III, pp. 622-629, 2008, Springer, 978-3-540-85566-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
text-dependent speaker recognition, text-independent speaker recognition, mel-cepstral analysis, supervised classification |
14 | Zhi Zhou, Yonghong Tian 0001, Yuanning Li, Tiejun Huang 0001, Wen Gao 0001 |
Large-Scale Cross-Media Retrieval of WikipediaMM Images with Textual and Visual Query Expansion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEF ![In: Evaluating Systems for Multilingual and Multimodal Information Access, 9th Workshop of the Cross-Language Evaluation Forum, CLEF 2008, Aarhus, Denmark, September 17-19, 2008, Revised Selected Papers, pp. 763-770, 2008, Springer, 978-3-642-04446-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
textual query expansion, query-dependent visual concept detection, cross-media re-ranking, Image retrieval |
14 | Wei-Jie Mao, Yuan-Yuan Zhang |
Robust Control of Linear Continuous-Time Polytopic Systems and Application to an Electro-Hydraulic Servo System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIRA (1) ![In: Intelligent Robotics and Applications, First International Conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 Proceedings, Part I, pp. 401-409, 2008, Springer, 978-3-540-88512-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Robust stabilizability, Parameter-dependent Lyapunov approach, Electro-hydraulic servo system, Robust stability |
14 | Paula Cecilia Fritzsche, Dolores Rexachs, Emilio Luque |
A General Approach to Predict the Performance Order of TSP Family Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA3PP ![In: Algorithms and Architectures for Parallel Processing, 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008, Proceedings, pp. 97-108, 2008, Springer, 978-3-540-69500-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Data-dependent algorithms, Parallel computing, TSP, Performance prediction |
14 | Michael Wedel, Uwe Jensen, Peter Göhner |
Mining software code repositories and bug databases using survival analysis models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEM ![In: Proceedings of the Second International Symposium on Empirical Software Engineering and Measurement, ESEM 2008, October 9-10, 2008, Kaiserslautern, Germany, pp. 282-284, 2008, ACM, 978-1-59593-971-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
early fault prediction, time-dependent fault occurrence |
14 | Juan A. Fraile, Javier Bajo, Belén Pérez Lancho, Eladio Sanz |
HoCa Home Care Multi-agent Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCAI ![In: International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2008, University of Salamanca, Spain, 22th-24th October 2008, pp. 52-61, 2008, Springer, 978-3-540-85862-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Multiagent Systems, Ambient Intelligence, Home Care, Dependent environments |
14 | Xiaowen Ding, Bing Liu 0001, Philip S. Yu |
A holistic lexicon-based approach to opinion mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSDM ![In: Proceedings of the International Conference on Web Search and Web Data Mining, WSDM 2008, Palo Alto, California, USA, February 11-12, 2008, pp. 231-240, 2008, ACM, 978-1-59593-927-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
context dependent opinions, opinion mining, sentiment analysis |
14 | László Szilágyi, Sándor M. Szilágyi, László Dávid, Zoltán Benyó |
Multi-stage FCM-Based Intensity Inhomogeneity Correction for MR Brain Image Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (2) ![In: Artificial Neural Networks - ICANN 2008, 18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings, Part II, pp. 527-536, 2008, Springer, 978-3-540-87558-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Intensity inhomogeneity, context dependent filter, image segmentation, magnetic resonance imaging, morphological operations, fuzzy c-means algorithm |
14 | Juan A. Fraile, Javier Bajo, Juan M. Corchado |
Hybrid Multi-agent Architecture (HoCa) Applied to the Control and Supervision of Patients in Their Homes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA ![In: Advances in Artificial Intelligence - IBERAMIA 2008, 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings, pp. 193-202, 2008, Springer, 978-3-540-88308-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Multiagent Systems, Ambient Intelligence, Home Care, Dependent environments |
14 | Juan A. Fraile, Dante I. Tapia, Miguel A. Sánchez |
Hybrid Multi-Agent Architecture (HoCa) Applied to the Control and Supervision of Patients in Their Homes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HAIS ![In: Hybrid Artificial Intelligence Systems, Third International Workshop, HAIS 2008, Burgos, Spain, September 24-26, 2008. Proceedings, pp. 54-61, 2008, Springer, 978-3-540-87655-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Multiagent Systems, Ambient Intelligence, Home Care, Dependent environments |
14 | Parisa Eslambolchilar, Roderick Murray-Smith |
Interact, excite, and feel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEI ![In: Proceedings of the 2nd International Conference on Tangible and Embedded Interaction 2008, Bonn, Germany, February 18-20, 2008, pp. 131-138, 2008, ACM, 978-1-60558-004-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
dynamic continuous interaction, speed-dependent automatic zooming, mobile devices, multimodality, sonification, mode switching |
14 | John A. Bullinaria |
Using evolution to improve neural network learning: pitfalls and solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 16(3), pp. 209-226, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Age dependent plasticity, Neural networks, Evolutionary computation, Learning algorithms, Ensemble methods |
14 | Takashi Takekawa, Toshio Aoyagi, Tomoki Fukai |
Synchronous and asynchronous bursting states: role of intrinsic neural dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 23(2), pp. 189-200, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Stimulus-dependent synchronization, Fast rhythmic burst, Phase response, Synaptic location |
14 | Minija Tamosiunaite, Bernd Porr, Florentin Wörgötter |
Self-influencing synaptic plasticity: Recurrent changes of synaptic weights can lead to specific functional properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 23(1), pp. 113-127, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Dendritic spike, Back-propagating spike, Local learning, Spike-timing-dependent plasticity |
14 | Alexander Wiebel, Xavier Tricoche, Dominic Schneider, Heike Jänicke, Gerik Scheuermann |
Generalized Streak Lines: Analysis and Visualization of Boundary Induced Vortices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 13(6), pp. 1735-1742, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Skin friction, singularity tracking, vortex, generalized streak line, time-dependent vector fields, flow visualization |
14 | Heike Jänicke, Alexander Wiebel, Gerik Scheuermann, Wolfgang Kollmann |
Multifield Visualization Using Local Statistical Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 13(6), pp. 1384-1391, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Local statistical complexity, multifield visualization, coherent structures, information theory, flow visualization, feature detection, time-dependent |
14 | Zhi-Quan Cheng, Huafeng Liu, Shiyao Jin |
The progressive mesh compression based on meaningful segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 23(9-11), pp. 651-660, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Meaningful segmentation, Progressive, Mesh compression, View-dependent |
14 | Xin Huang, Sheng Li 0008, Guoping Wang |
Displacement modeling: Hardware-accelerated interactive feature modeling on subdivision surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 23(9-11), pp. 861-872, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Displacement modeling, View-dependent adaptive subdivision, Fine level features, Interactive design, GPU |
14 | Adam Chlipala |
A certified type-preserving compiler from lambda calculus to assembly language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007, pp. 54-65, 2007, ACM, 978-1-59593-633-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
denotational semantics, dependent types, compiler verification, interactive proof assistants |
14 | S. Afshin Mansouri, S. Hamed Hendizadeh, Nasser Salmasi |
Bicriteria two-machine flowshop scheduling using metaheuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, pp. 909, 2007, ACM, 978-1-59593-697-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Pareto-optimal frontier, sequence-dependent setups, genetic algorithms, simulated annealing, flowshop, multicriteria scheduling |
14 | Johan Peitz, Hannamari Saarenpää, Staffan Björk |
Insectopia: exploring pervasive games through technology already pervasively available. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Computer Entertainment Technology ![In: Proceedings of the International Conference on Advances in Computer Entertainment Technology, ACE 2007, Salzburg, Austria, June 13-15, 2007, pp. 107-114, 2007, ACM, 978-1-59593-640-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
bluetooth harvesting, context-dependent games, pervasive games |
14 | Kathleen Fisher |
Typing ad hoc data. ![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. 39-40, 2007, ACM, 1-59593-393-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
ad hoc data, domain-specific languages, dependent types, data description languages |
14 | Jorge Nakahara Jr. |
A Linear Analysis of Blowfish and Khufu. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPEC ![In: Information Security Practice and Experience, Third International Conference, ISPEC 2007, Hong Kong, China, May 7-9, 2007, Proceedings, pp. 20-32, 2007, Springer, 978-3-540-72159-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Blowfish, Khufu, key-dependent S- boxes, linear cryptanalysis |
14 | László Szilágyi, Sándor M. Szilágyi, Zoltán Benyó |
A Modified Fuzzy C-Means Algorithm for MR Brain Image Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAR ![In: Image Analysis and Recognition, 4th International Conference, ICIAR 2007, Montreal, Canada, August 22-24, 2007, Proceedings, pp. 866-877, 2007, Springer, 978-3-540-74258-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
context dependent filter, image segmentation, feature extraction, magnetic resonance imaging, noise elimination, fuzzy c-means algorithm |
14 | Kayichiro Inagaki, Yutaka Hirata, Pablo M. Blazquez, Stephen M. Highstein |
Computer Simulation of Vestibuloocular Reflex Motor Learning Using a Realistic Cerebellar Cortical Neuronal Network Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (1) ![In: Neural Information Processing, 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I, pp. 902-912, 2007, Springer, 978-3-540-69154-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
VOR motor learning, Long-term depression, Long-term potentiation, Spike neuron model, Spike timing dependent plasticity |
14 | Xue Yang 0007, Nitin H. Vaidya, Priya Ravichandran |
Split-Channel Pipelined Packet Scheduling for Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 5(3), pp. 240-257, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
bandwidth-independent overhead, bandwidth-dependent overhead, access energy cost, packet access delay, wireless LANs, pipelining, IEEE 802.11, multihop networks, channel utilization, Multiple access control (MAC) |
14 | Dean H. Lorenz, Ariel Orda, Danny Raz, Yuval Shavitt |
Efficient QoS partition and routing of unicast and multicast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 14(6), pp. 1336-1347, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
QoS-dependent costs, QoS, routing, multicast, resource allocation, approximation |
14 | Alexander A. Moldovyan, Nick A. Moldovyan, Nicolas Sklavos 0001 |
Controlled elements for designing ciphers suitable to efficient VLSI implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 32(2-3), pp. 149-163, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Security, Block ciphers, Hardware implementation, Data-dependent operations |
14 | Chao-Chun Chen, Chiang Lee, Chun-Chiang Wang, Yu-Chi Chung |
Prefetching LDD: a benefit-oriented approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the International Conference on Wireless Communications and Mobile Computing, IWCMC 2006, Vancouver, British Columbia, Canada, July 3-6, 2006, pp. 1103-1108, 2006, ACM, 1-59593-306-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
benefit analysis, pervasive service, prefetch, mobile data management, location dependent data |
14 | Kathleen Fisher, Yitzhak Mandelbaum, David Walker 0001 |
The next 700 data description languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, pp. 2-15, 2006, ACM, 1-59593-027-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
domain-specific languages, dependent types, data description language |
14 | José Carlos Cortizo, J. Ignacio Giráldez |
Multi Criteria Wrapper Improvements to Naive Bayes Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2006, 7th International Conference, Burgos, Spain, September 20-23, 2006, Proceedings, pp. 419-427, 2006, Springer, 3-540-45485-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
(In)Dependent Attributes, Data Mining, Machine Learning, Data Analysis, Wrapper, Naive Bayes, Feature Subset Selection |
14 | Adam Chlipala |
Modular development of certified program verifiers with a proof assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006, pp. 160-171, 2006, ACM, 1-59593-309-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
programming with dependent types, proof-carrying code, interactive proof assistants |
14 | Ondrej Rypacek, Roland Carl Backhouse, Henrik Nilsson |
Type-theoretic design patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006, pp. 13-22, 2006, ACM, 1-59593-492-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
functional objects, language features, formal method, object-oriented programming, design patterns, functional programming, reasoning, dependent types, program correctness, visitor pattern |
14 | Raimund Dachselt, Markus Weiland |
TimeZoom: a flexible detail and context timeline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2006 Conference on Human Factors in Computing Systems, CHI 2006, Montréal, Québec, Canada, April 22-27, 2006, pp. 682-687, 2006, ACM, 978-1-59593-298-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
detail and context technique, e-mail client, time navigation, information visualization, interaction technique, fisheye view, calendar, time-dependent data |
14 | Jinghua Ge, Daniel J. Sandin, Andrew E. Johnson 0001, Tom Peterka, Robert Kooima, Javier Girado, Thomas A. DeFanti |
Point-based VR visualization for large-scale mesh datasets by real-time remote computation. ![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. 43-50, 2006, ACM, 1-59593-324-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
point splatting, view reconstruction, view-dependent LOD, occlusion culling, remote computation |
14 | Lulai Yuan, Guosun Zeng, Wei Wang 0033 |
A Grid Resource Price-adjusting Strategy Based on Price Influence Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC ![In: Grid and Cooperative Computing - GCC 2006, 5th International Conference, Changsha, Hunan, China, 21-23 October 2006, Proceedings, pp. 311-318, 2006, IEEE Computer Society, 0-7695-2694-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
price management, price-adjusting strategy, Price Influence Model, dependent resources, Grid computing, resource management |
14 | Suresh Srinivasan, Prasanth Mangalagiri, Yuan Xie 0001, Narayanan Vijaykrishnan, Karthik Sarpatwari |
FLAW: FPGA lifetime awareness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006, pp. 630-635, 2006, ACM, 1-59593-381-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
hot carrier effects, time dependent dielecric breakdown, FPGA, electromigration |
14 | Paul Fearnhead |
Direct simulation for discrete mixture distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 15(2), pp. 125-133, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Bayesian model choice, binomial mixture, genetic linkage, Markov-dependent mixtures, Poisson mixture, particle filters, Forward-Backward algorithm |
14 | Xiang Yu, Ian Li-Jin Thng, Yuming Jiang 0001, Chunming Qiao |
Queueing processes in GPS and PGPS with LRD traffic inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 13(3), pp. 676-689, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
LRD isolation, Weibull bounded, Weibull bounded burstiness, queueing process, QoS, long range dependent, generalized processor sharing |
14 | Ariel Orda, Alexander Sprintson |
A scalable approach to the partition of QoS requirements in unicast and multicast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 13(5), pp. 1146-1159, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
performance-dependent costs, quality of service (QoS) partition, routing, multicast, resource allocation |
14 | Nicolas Sklavos 0001, Nick A. Moldovyan, Odysseas G. Koufopavlou |
High Speed Networking Security: Design and Implementation of Two New DDP-Based Ciphers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mob. Networks Appl. ![In: Mob. Networks Appl. 10(1-2), pp. 219-231, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Cobra-H64, Cobra-H128, networking security, encryption, data-dependent permutations |
14 | Aravind Kalaiah, Amitabh Varshney |
Statistical geometry representation for efficient transmission and rendering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 24(2), pp. 348-373, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
network graphics, programmable GPU, quasi-random numbers, principal component analysis, progressive transmission, Point-based rendering, view-dependent rendering |
14 | Kevin Donnelly, Hongwei Xi |
Combining higher-order abstract syntax with first-order abstract syntax in ATS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MERLIN ![In: ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2005, Tallinn, Estonia, September 30, 2005, pp. 58-63, 2005, ACM, 978-1-59593-072-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
ATS/LF, theorem proving, dependent types, higher-order abstract syntax, ATS |
14 | Debopam Acharya, Vijay Kumar 0002 |
Location based indexing scheme for DAYS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiDE ![In: Proceedings of the 4th ACM International Workshop on Data Engineering for Wireless and Mobile Access, MobiDE 2005, June 12, 2005, Baltimore, MD, USA, pp. 17-24, 2005, ACM, 1-59593-088-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
indexing, location based services, wireless data broadcast, data staging, location dependent data |
14 | Matteo Petracca, Antonio Servetti, Juan Carlos De Martin |
Low-complexity automatic speaker recognition in the compressed GSM AMR domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2005 IEEE International Conference on Multimedia and Expo, ICME 2005, July 6-9, 2005, Amsterdam, The Netherlands, pp. 662-665, 2005, IEEE Computer Society, 0-7803-9331-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
elementary statistical value, low-complexity automatic speaker recognition, adaptive multirate code, GSM AMR, speaker modeling, speech bitstream, speaker dependent feature extraction, speech coding standard, Euclidean distance measure, compressed domain |
14 | Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen |
Verifying safety policies with size properties and alias controls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pp. 186-195, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
alias control, object-based programs, size properties, dependent types, safety verification |
14 | Guillermo Gallego 0001, Haichao Hu |
Optimal Policies for Production/Inventory Systems with Finite Capacity and Markov-Modulated Demand and Supply Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 126(1-4), pp. 21-41, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Markov-modulated demand and Markov-modulated yield, modified state-dependent inflated base-stock policy, production/inventory system, finite-capacity |
14 | Mark Strembeck, Gustaf Neumann |
An integrated approach to engineer and enforce context constraints in RBAC environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. Secur. ![In: ACM Trans. Inf. Syst. Secur. 7(3), pp. 392-427, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Context-dependent access control, constraints engineering, context constraints, role-based access control |
14 | Hidetoshi Urakubo, Takeshi Aihara, Shinya Kuroda, Masataka Watanabe, Shunsuke Kondo |
Spatial Localization of Synapses Required for Supralinear Summation of Action Potentials and EPSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 16(3), pp. 251-256, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
spike-timing dependent synaptic plasticity, membrane potential amplification, synaptic localization, multi-compartment model |
14 | Yi Yan |
Statistical Multiplexing of Homogeneous Fractional Brownian Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 47(4), pp. 379-388, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
long-range dependent, statistical multiplexing, queue length, buffer allocation, fractional Brownian motion |
14 | Matthias Hopf, Michael Luttenberger, Thomas Ertl |
Hierarchical Splatting of Scattered 4D Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Computer Graphics and Applications ![In: IEEE Computer Graphics and Applications 24(4), pp. 64-72, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
hierarchical visualization, out-of-core techniques, volume rendering, scattered data, splatting, time-dependent data |
14 | Jianliang Xu, Baihua Zheng, Wang-Chien Lee, Dik Lun Lee |
The D-Tree: An Index Structure for Planar Point Queries in Location-Based Wireless Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 16(12), pp. 1526-1542, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
mobile computing, spatial database, energy conservation, data broadcast, index structure, Location-dependent data |
14 | Baihua Zheng, Wang-Chien Lee, Dik Lun Lee |
Spatial Queries in Wireless Broadcast Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 10(6), pp. 723-736, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
location-dependent spatial queries, pervasive computing, index structure, wireless broadcast |
14 | Solange Coupet-Grimal, Line Jakubiec |
Certifying circuits in Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 16(4), pp. 352-373, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Co-induction, Formal methods, Type theory, Dependent types, Extraction, Hardware verification |
14 | Corneliu Popeea, Wei-Ngan Chin |
A type system for resource protocol verification and its correctness proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004, pp. 135-146, 2004, ACM, 1-58113-835-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
dependent type system, resource specification, protocol verification, correctness proof, path-sensitive analysis |
14 | Geyong Min, Mohamed Ould-Khaoua, Irfan-Ullah Awan, Demetres D. Kouvatsos |
Communication delay in hypercubic networks with LRD traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 347-351, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
long-range dependent traffic, pipelined circuit switching, interconnection networks, performance modelling, adaptive routing |
14 | Jana Dunfield, Frank Pfenning |
Tridirectional typechecking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004, pp. 281-292, 2004, ACM, 1-58113-729-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
type refinements, dependent types, intersection types, union types |
14 | Van-Nam Huynh, Yoshiteru Nakamori |
A Framework for Representation and Manipulation of Vague Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDAI ![In: Modeling Decisions for Artificial Intelligence, First International Conference, MDAI 2004, Barcelona, Spain, August 2-4, 2004, Proceedings, pp. 295-305, 2004, Springer, 3-540-22555-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Fuzzy context model, uncertainty measure of type 2, context-dependent fuzzy set, decision-making |
14 | Peter L. Bartlett, Shahar Mendelson, Petra Philips |
Local Complexities for Empirical Risk Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLT ![In: Learning Theory, 17th Annual Conference on Learning Theory, COLT 2004, Banff, Canada, July 1-4, 2004, Proceedings, pp. 270-284, 2004, Springer, 3-540-22282-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
concentration inequalities, isomorphic coordinate projections, data-dependent complexity, Statistical learning theory, empirical risk minimization, generalization bounds |
14 | Derrick J. Parkhurst, Ernst Niebur |
A feasibility test for perceptually adaptive level of detail rendering on desktop systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APGV ![In: Proceedings of the 1st Symposium on Applied Perception in Graphics and Visualization, APGV 2004, Los Angeles, California, USA, August 7-8, 2004, pp. 49-56, 2004, ACM, 1-58113-914-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
velocity-dependent, visual search, gaze-contingent |
14 | Ichiro Satoh |
A Testing Framework for Mobile Computing Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(12), pp. 1112-1121, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
network-dependent application, mobile computing, Testing, mobile agent |
14 | Paolo Bellavista, Antonio Corradi, Rebecca Montanari, Cesare Stefanelli |
Context-Aware Middleware for Resource Management in the Wireless Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(12), pp. 1086-1099, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
C.2.8.e Mobile Computing/Support services, J.8.l Internet Applications/Middleware, J.9.a Mobile Applications/Location-dependent and Sensitive, C.2.8.d Mobile Computing/Mobile Environments |
14 | Andreas Sundquist |
Dynamic Line Integral Convolution for Visualizing Streamline Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 9(3), pp. 273-282, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
field lines, vector fields, streamlines, Line integral convolution, time-varying, electromagnetism, time-dependent |
14 | Anthony N. Burkitt, J. Leo van Hemmen |
How synapses in the auditory system wax and wane: theoretical perspectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 89(5), pp. 318-332, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Spike-timing-dependent synaptic plasticity, Synaptic learning, Poisson neuron, Temporal-feature maps, Integrate-and-fire neuron |
14 | Baihua Zheng, Wang-Chien Lee, Dik Lun Lee |
Spatial Index on Air. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom ![In: Proceedings of the First IEEE International Conference on Pervasive Computing and Communications (PerCom'03), March 23-26, 2003, Fort Worth, Texas, USA, pp. 297-304, 2003, IEEE Computer Society, 0-7695-1893-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
index structure, Hilbert Curve, wireless broadcast, location-dependent queries |
14 | Rahul M. Rao, Jeffrey L. Burns, Anirudh Devgan, Richard B. Brown |
Efficient techniques for gate leakage estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2003 International Symposium on Low Power Electronics and Design, 2003, Seoul, Korea, August 25-27, 2003, pp. 100-103, 2003, ACM, 1-58113-682-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
pattern-dependent, pattern-independent, estimation, leakage, gate leakage |
14 | Xiang Ji 0001, Hongyuan Zha |
Domain-independent text segmentation using anisotropic diffusion and dynamic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2003: Proceedings of the 26th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, July 28 - August 1, 2003, Toronto, Canada, pp. 322-329, 2003, ACM, 1-58113-646-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
document-dependent stop words, dynamic programming, text segmentation, anisotropic diffusion |
Displaying result #401 - #500 of 30973 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|