Search results for "Style"

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