|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7949 occurrences of 3901 keywords
|
|
|
Results
Found 13977 publication records. Showing 13974 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Yifeng Zhu, Hong Jiang 0001, Xiao Qin 0001, Dan Feng 0001, David R. Swanson |
Exploiting redundancy to boost performance in a RAID-10 style cluster-based file system. |
Clust. Comput. |
2006 |
DBLP DOI BibTeX RDF |
CEFT, Redundancy, Cluster computing, RAID, Data storage, PVFS, Cluster file systems |
12 | Kathrin Berkner, Michael J. Gormish |
Optimal Display Adaptation of Iconic Document Visualizations via BFOS-Style Tree Pruning. |
ICIP |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Martin Gilje Jaatun, Inger Anne Tøndel, Frédéric Paint, Tor Hjalmar Johannessen, John Charles Francis, Claire Duranton |
Secure Fast Handover in an Open Broadband Access Network using Kerberos-style Tickets. |
SEC |
2006 |
DBLP DOI BibTeX RDF |
|
12 | A. Burrell, Angela C. Sodan |
Web Interface Navigation Design: Which Style of Navigation-Link Menus Do Users Prefer? |
ICDE Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Masashi Ueda |
A Model of Open Source Software Style R&D on Business. |
ICSEA |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Ricardo Corin, Jerry den Hartog |
A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs. |
ICALP (2) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Clemens A. Szyperski |
Composing with Style - Components Meet Architecture. |
QoSA |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Xiqun Lu |
Joint Distributions based on DFB and Gaussian Mixtures for Evaluation of Style Similarity among Paintings. |
ICPR (2) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Maribel Fernández, Murdoch Gabbay |
Curry-Style Types for Nominal Terms. |
TYPES |
2006 |
DBLP DOI BibTeX RDF |
polymorphism, type inference, rewriting, binding |
12 | François Bry, Christoph Wieser |
Web Queries with Style: Rendering Xcerpt Programs with CSSNG. |
PPSWR |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Michael Press, Jihad El-Sana |
Multiresolution Hierarchy for Real-Time Cartoon-Style Rendering. |
GMAI |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Yousuf M. Islam, Zillur Rahman, Shafiq Shamsur Razzaq, Md. Abu Sayed, Shakib Zaman |
Effect of Feedback during Lecture Style Delivery Both in a Face-to-Face Classroom & during a Distance Education Television Session in a Developing Country like Bangladesh without the Use of Internet. |
ICALT |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Kris Bubendorfer, Ian Welch, Blayne Chard |
Trustworthy Auctions for Grid-Style Economies. |
CCGRID |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Dimitrios Tzimeas, Eleni E. Mangina |
Jazz Sebastian Bach: A GA System for Music Style Modification. |
ICSNC |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Arshia Cont, Shlomo Dubnov, Gérard Assayag |
Anticipatory Model of Musical Style Imitation Using Collaborative and Competitive Reinforcement Learning. |
SAB ABiALS |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Zhanrong Yang, Radu Muresan |
The Impact of the Implementation Style on Power Consumption and Security in Embedded Cryptosystems. |
CCECE |
2006 |
DBLP DOI BibTeX RDF |
|
12 | David Woollard, Nenad Medvidovic |
An architectural style for high-performance asymmetrical parallel computations. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
asymmetrical parallel computations, ADaPT, high-performance computing |
12 | Jovan Cakic, Richard F. Paige |
Origins of the Grid Architectural Style. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Tianzhou Chen, Jinhui Yu, Qunsheng Peng 0001 |
Style Conversion of Cartoon Animation. |
Edutainment |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Eric T. H. Luk, Marti K. H. Wong, Kevin K. F. Cheung, Fong Lok Lee, J. H. M. Lee |
Design and Implementation of Farmtasia: A Game Designed for the VISOLE Teaching Style. |
Edutainment |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Michael Backes 0001, Birgit Pfitzmann, Michael Waidner |
Symmetric authentication in a simulatable Dolev-Yao-style cryptographic library. |
Int. J. Inf. Sec. |
2005 |
DBLP DOI BibTeX RDF |
Dolev-Yao, Symmetric authentication, Computational soundness |
12 | Emil Talpes, Diana Marculescu |
Toward a multiple clock/voltage island design style for power-aware processors. |
IEEE Trans. Very Large Scale Integr. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Yu Gong, C. F. N. Cowan |
An LMS style variable tap-length algorithm for structure adaptation. |
IEEE Trans. Signal Process. |
2005 |
DBLP DOI BibTeX RDF |
|
12 | N. Huot, H. Dubreuil, Laurent Fesquet, Marc Renaudin |
FPGA Architecture for Multi-Style Asynchronous Logic. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Ping Guo 0001, Gregor Engels, Reiko Heckel |
Architectural Style - Based Modeling and Simulation of Complex Software Systems. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Ruichao Wang, Nicola Stokes, William P. Doran, Eamonn Newman, John Dunnion, Joe Carthy |
LexTrim: A Lexical Cohesion Based Approach to Parse-and-Trim Style Headline Generation. |
CICLing |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Shuyin Li, Axel Haasch, Britta Wrede, Jannik Fritsch, Gerhard Sagerer |
Human-style interaction with a robot for cooperative learning of scene objects. |
ICMI |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Kay-Yut Chen, Tad Hogg |
Experimental Evaluation of an eBay-Style Self-reporting Reputation Mechanism. |
WINE |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Yu Kinugasa, Naoko Yamashita, Toshihiro Hayashi, Hiroyuki Tominaga, Toshinori Yamasaki |
Operation-Style Answering in Multimedia Testing System DrilLs-M for Kanji Letter Shape Learning. |
ICALT |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Jun Kong, Kang Zhang 0001, Jing Dong 0005, Guang-Lei Song |
A Generative Style-driven Framework for Software Architecture Design. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Siba Haidar, Philippe Joly, Bilal Chebaro |
Style Similarity Measure for Video Documents Comparison. |
CIVR |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Yuanfang Hu, Hongyu Chen, Yi Zhu 0002, Andrew A. Chien, Chung-Kuan Cheng |
Physical Synthesis of Energy-Efficient Networks-on-Chip Through Topology Exploration and Wire Style Optimizationz. |
ICCD |
2005 |
DBLP DOI BibTeX RDF |
|
12 | David Lazer, Kevin M. Esterling, Michael Neblo |
Style conscious: how members of congress learn new ways to communicate. |
DG.O |
2005 |
DBLP BibTeX RDF |
|
12 | Manfred Josef Aigner, Stefan Mangard, Renato Menicocci, Mauro Olivieri, Giuseppe Scotti, Alessandro Trifiletti |
A novel CMOS logic style with data independent power consumption. |
ISCAS (2) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Maria-Florina Balcan, Avrim Blum |
A PAC-Style Model for Learning from Labeled and Unlabeled Data. |
COLT |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Alfredo Cuzzocrea |
Towards a Semantics-Based Framework for KD- and IR-style Resource Querying on XML-Based P2P Information Systems. |
Web Intelligence |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Hyungsung Park |
Design and development of a mobile learning management system adaptive to learning style of students. |
WMTE |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Guozhen Tan, Xinpeng Li, Jiankun Wu, Hongzhuo Zhao, Chengxu Li |
A Message-based Software Architecture Style for Distributed Application. |
PDCAT |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Teng Long, Lianwen Jin |
Hybrid Recognition for One Stroke Style Cursive Handwriting Characters. |
ICDAR |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Koichi Tanigaki, Takashi Hirano, Yasuhiro Okada |
Push-Style Guidance System for Technical Document Writing. |
ICDAR |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Alan P. Sexton, Volker Sorge |
Processing Textbook-Style Matrices. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Paul A. Bailes, Colin J. M. Kemp |
Obstacles to a Totally Functional Programming Style. |
Australian Software Engineering Conference |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Yoshikazu Mori, Kazuhiro Takayama, Tatsuya Nakamura |
Development of Straight Style Transfer Equipment for Lower Limbs Disabled. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Michael Backes 0001, Birgit Pfitzmann |
Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library. |
CSFW |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Jungpil Shin 0001, Kazunori Suzuki |
Interactive System for Handwritten-Style Font Generation. |
CIT |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Andrew Mohan, Nicolas Gold, Paul J. Layzell 0001 |
An Initial Approach to Assessing Program Comprehensibility Using Spatial Complexity, Number of Concepts and Typographical Style. |
WCRE |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Huanfeng Ma, David S. Doermann |
Adaptive Word Style Classification Using a Gaussian Mixture Model. |
ICPR (2) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Shunsuke Yoshida, Jun Kurumisawa, Haruo Noma, Nobuji Tetsutani, Kenichi Hosaka |
Sumi-nagashi: creation of new style media art with haptic digital colors. |
ACM Multimedia |
2004 |
DBLP DOI BibTeX RDF |
virtual reality, haptic feedback, media art, digital painting |
12 | Darrell R. Ulm, Johnnie W. Baker, Michael C. Scherger |
Solving a 2D Knapsack Problem Using a Hybrid Data-Parallel/Control Style of Computing. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Brian S. Mitchell, Spiros Mancoridis, Martin Traverso |
Using Interconnection Style Rules to Infer Software Architecture Relations. |
GECCO (2) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Steve Murphy, Scott R. Tilley, Shihong Huang |
4th workshop on graphical documentation: UML style guidelines. |
SIGDOC |
2004 |
DBLP DOI BibTeX RDF |
visualization, documentation, program understanding |
12 | Jens Mache, David Ely, Melanie Gilbert, Jason Gimba, Thierry Lopez, Matthew Wilkinson |
Modifying the Overlay Network of Freenet-Style Peer-to-Peer Systems after Successful Request Queries. |
HICSS |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Craig Saunders, David R. Hardoon, John Shawe-Taylor, Gerhard Widmer |
Using String Kernels to Identify Famous Performers from Their Playing Style. |
ECML |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Rohit Khare, Richard N. Taylor |
Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Alexandre R. J. François |
A Hybrid Architectural Style for Distributed Parallel Processing of Generic Data Streams. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Bradley R. Schmerl, David Garlan |
AcmeStudio: Supporting Style-Centered Architecture Development. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Henry Muccini, Marcio S. Dias, Debra J. Richardson |
Systematic Testing of Software Architectures in the C2 Style. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Paul Barford, Lawrence H. Landweber |
Bench-style network research in an Internet Instance Laboratory. |
Comput. Commun. Rev. |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Shlomo Dubnov, Gérard Assayag, Olivier Lartillot, Gill Bejerano |
Using Machine-Learning Methods for Musical Style Modeling. |
Computer |
2003 |
DBLP DOI BibTeX RDF |
|
12 | James Hartley, James W. Pennebaker, Claire Fox |
Abstracts, introductions and discussions: How far do they differ in style?. |
Scientometrics |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Mojtaba Aghaei, Mohammad Ardeshir |
A Gentzen-style axiomatization for basic predicate calculus. |
Arch. Math. Log. |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Elspeth McKay |
Managing the Interactivity of Instructional Format and Cognitive Style Construct in Web-Mediated Learning Environments. |
ICWL |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Dirk Draheim, Gerald Weber |
Modeling Submit/Response Style Systems with Form Charts and Dialogue Constraints. |
OTM Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Yeow Kee Tan, Nasser Sherkat, Tony Allen |
Error recovery in a blended style eye gaze and speech interface. |
ICMI |
2003 |
DBLP DOI BibTeX RDF |
blended multimodal interface, error recovery and usability, speech recognition, multimodal interface, eye gaze tracking |
12 | Herman Schmit |
Extra-dimensional Island-Style FPGAs. |
FPL |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Shlomo Argamon, Marin Saric, Sterling Stuart Stein |
Style mining of electronic messages for multiple authorship discrimination: first results. |
KDD |
2003 |
DBLP DOI BibTeX RDF |
computational stylistics, text mining, text categorization, electronic communication, authorship attribution |
12 | Frank E. Pollick |
The Features People Use to Recognize Human Movement Style. |
Gesture Workshop |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Fatih Nar, Atilim Çetin |
Generalization and Localization Based Style Imitation for Grayscale Images. |
ISCIS |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Reiner Hähnle, Niklas Sörensson |
Fair Constraint Merging Tableaux in Lazy Functional Programming Style. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Pedro J. Ponce de León, José Manuel Iñesta Quereda |
Musical Style Classification from Symbolic Data: A Two-Styles Case Study. |
CMMR |
2003 |
DBLP DOI BibTeX RDF |
nearest neighbours (k-NN), feature selection, music information retrieval, bayesian classifier, self-organising maps |
12 | Yasuyuki Sumi, Ryuuki Sakamoto, Keiko Nakao, Kenji Mase |
ComicDiary: Representing Individual Experiences in a Comics Style. |
UbiComp |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Prateek Sarkar |
An Iterative Algorithm for Optimal Style Conscious Field Classification. |
ICPR (4) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | François Bry, Michael Kraus |
Adaptive Hypermedia Made Simple with HTML/XML Style Sheet Selectors. |
AH |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Jens Mache, Melanie Gilbert, Jason Guchereau, Jeff Lesh, Felix Ramli, Matthew Wilkinson |
Request Algorithms in Freenet-Style Peer-to-Peer Systems. |
Peer-to-Peer Computing |
2002 |
DBLP DOI BibTeX RDF |
request algorithm, performance evaluation, peer-to-peer, self-organization, overlay network |
12 | Stephen Chenney, Mark Pingel, Rob Iverson, Marcin Szymanski |
Simulating cartoon style animation. |
NPAR |
2002 |
DBLP DOI BibTeX RDF |
squash-and-stretch, stylized animation, deformation, physical simulation, stylized rendering |
12 | Petr Hájek 0001 |
Relations in GUHA Style Data Mining. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Martin Sulzmann |
A General Type Inference Framework for Hindley/Milner Style Systems. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Masaya Okada, Hiroyuki Tarumi, Tetsuhiko Yoshimura, Kazuyuki Moriya, Tetsuro Sakai |
Realization of Digital Environmental Education - A Future Style of Environmental Education in Dynamically Changing Virtual Environment. |
Digital Cities |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Wonyong Sung, Soonhoi Ha |
Memory efficient software synthesis with mixed coding style from dataflow graphs. |
IEEE Trans. Very Large Scale Integr. Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Healfdene Goguen |
A Kripke-Style Model for the Admissibility of Structural Rules. |
TYPES |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Tadeusz Luba, Claudio Moraga, Svetlana N. Yanushkevich, Vlad P. Shmerko, Joanna Kolodziejczyk |
Application of Design Style in Evolutionary Multi-Level Networks Synthesis. |
EUROMICRO |
2000 |
DBLP DOI BibTeX RDF |
multi-level synthesis, information theory approach, parallelism, evolutionary design |
12 | Salome Schmid-Isler |
The Language of Digital Genres. A Semiotic Investigation of Style and Iconology on the World Wide Web. |
HICSS |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Hiroshi Wakuya, Jacek M. Zurada |
Time Series Prediction by a Neural Network Model Based on the Bi-Directional Computation Style. |
IJCNN (2) |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Mathis Löthe |
Knowledge Based Automatic Composition and Variation of Melodies for Minuets in Early Classical Style. |
KI |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan |
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. |
ASIAN |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Utpal Garain, B. B. Chaudhuri 0001 |
Extraction of Type Style based Meta-Information from Imaged Documents. |
ICDAR |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Jason Helge Anderson, Stephen Dean Brown |
An LPGA with Foldable PLA-style Logic Blocks. |
FPGA |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Hans Jürgen Ohlbach |
Combining Hilbert Style and Semantic Reasoning in a Resolution Framework. |
CADE |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Ichiro Ogata |
Cut Elimination for Classical Proofs as Continuation Passing Style Computation. |
ASIAN |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Michael Gallivan |
Influence of System Developers' Creative Style on Their Attitudes toward and Assimilation of a Software Process Innovation. |
HICSS (6) |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Myla Archer, Constance L. Heitmeyer |
Human-Style Theorem Proving Using PVS. |
TPHOLs |
1997 |
DBLP DOI BibTeX RDF |
|
12 | Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever |
Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency. |
FSTTCS |
1997 |
DBLP DOI BibTeX RDF |
|
12 | Daniel Jackson 0001, Craig Damon |
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
model checking, formal specification, software design, Z notation, Abstract modeling, exhaustive testing |
12 | Allan Cheng, Dexter Kozen |
A Complete Gentzen-Style Axiomatization for Set Constraints. |
ICALP |
1996 |
DBLP DOI BibTeX RDF |
|
12 | Nenad Medvidovic, Peyman Oreizy, Jason E. Robbins, Richard N. Taylor |
Using Object-Oriented Typing to Support Architectural Design in the C2 Style. |
SIGSOFT FSE |
1996 |
DBLP DOI BibTeX RDF |
C++ |
12 | Stephan Schmitt, Christoph Kreitz |
Converting Non-Classical Matrix Proofs into Sequent-Style Systems. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
12 | Daniel Jackson 0001, Craig Damon |
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. |
ISSTA |
1996 |
DBLP DOI BibTeX RDF |
|
12 | Tom Schorsch |
CAP: an automated self-assessment tool to check Pascal programs for syntax, logic and style errors. |
SIGCSE |
1995 |
DBLP DOI BibTeX RDF |
Pascal |
12 | Frederic D. Portoraro |
Symlog: Automated Advice in Fitch-style Proof Construction. |
CADE |
1994 |
DBLP DOI BibTeX RDF |
|
12 | Hugo Herbelin |
A Lambda-Calculus Structure Isomorphic to Gentzen-Style Sequent Calculus Structure. |
CSL |
1994 |
DBLP DOI BibTeX RDF |
|
|
|