Search results for "writing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Nalini Vishnoi, Cody Narber, Zoran Duric, Naomi Lynn Gerber	Guiding hand: a teaching tool for handwriting.	ICMI	2009	DBLP DOI BibTeX RDF	motionstar wireless, phantom omni/premium, hci, haptic, ems, handwriting, data translation
11	Sriram K. Rajamani	Verification, Testing and Statistics.	RV	2009	DBLP DOI BibTeX RDF
11	Hagit Attiya, Alessia Milani	Brief Announcement: Transactional Scheduling for Read-Dominated Workloads.	DISC	2009	DBLP DOI BibTeX RDF
11	Jan Smans, Bart Jacobs 0002, Frank Piessens	Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic.	ECOOP	2009	DBLP DOI BibTeX RDF
11	Susan Reiser, Rebecca F. Bruce	Fabrication: a tangible link between computer science and creativity.	SIGCSE	2009	DBLP DOI BibTeX RDF	cnc milling, computer science literacy, computer science education, service-learning, outreach, cs0
11	Jacob Burnim, Koushik Sen	Asserting and checking determinism for multithreaded programs.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	parallel programs, determinism, assertions
11	Matthew A. Hammer, Umut A. Acar, Yan Chen 0001	CEAL: a C-based language for self-adjusting computation.	PLDI	2009	DBLP DOI BibTeX RDF	control and data flow, tail calls, trampolines, performance, compilation, dominators, self-adjusting computation
11	Aditya V. Nori, Sriram K. Rajamani	Verification, Testing and Statistics.	TAP@TOOLS	2009	DBLP DOI BibTeX RDF
11	Roberto Mirizzi, Tommaso Di Noia, Eugenio Di Sciascio, Michelantonio Trizio	A Semantic Web Enabled System for Résumé Composition and Publication.	ICSC	2009	DBLP DOI BibTeX RDF
11	Challen Pride-Thorne, Steve Murphy, Sandra Seenauth	Probing the use of charts and graphs in technical documentation through analysis and pragmatic collaboration.	SIGDOC	2009	DBLP DOI BibTeX RDF	information graphics, technical writer, graphs, documentation, translation, globalization, graphic design, charts
11	Sethuramalingam Subramaniam, Anil Kumar Singh, Pradeep Dasigi, Vasudeva Varma	Experiments in CLIR using fuzzy string search based on surface similarity.	SIGIR	2009	DBLP DOI BibTeX RDF	fuzzy text search, spelling variations, surface similarity
11	Kevin Wiesner, Marcus Foth, Mark Bilandzic	Unleashing creative writers: situated engagement with mobile narratives.	OZCHI	2009	DBLP DOI BibTeX RDF	placed-based community engagement, constraints, mobile interaction, restrictions, mobile media, locative media, urban informatics
11	Jonathan Gordon 0001, Benjamin Van Durme, Lenhart K. Schubert	Weblogs as a source for extracting general world knowledge.	K-CAP	2009	DBLP DOI BibTeX RDF	factoids, knext, open information extraction, open knowledge extraction, spinn3r, information extraction, wikipedia, weblogs, knowledge extraction, knowledge mining
11	Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson 0001	Equality and hashing for (almost) free: Generating implementations from abstraction functions.	ICSE	2009	DBLP DOI BibTeX RDF
11	Danny Dig, John Marrero, Michael D. Ernst	Refactoring sequential Java code for concurrency via concurrent libraries.	ICSE	2009	DBLP DOI BibTeX RDF
11	Jeff Arnold, M. Frans Kaashoek	Ksplice: automatic rebootless kernel updates.	EuroSys	2009	DBLP DOI BibTeX RDF	hot updates, dynamic software updates
11	Raphael Eidenbenz, Roger Wattenhofer	Brief announcement: selfishness in transactional memory.	SPAA	2009	DBLP DOI BibTeX RDF	game theory, transactional memory, contention management, multicore architecture
11	Fabio Giannetti	XSL-FO 2.0: automated publishing for graphic documents.	ACM Symposium on Document Engineering	2009	DBLP DOI BibTeX RDF	content driven pagination, math ml, svg, transactional printing, layout, xml, template, graphic design, print, xsl-fo, variable data print
11	Naveen Chandra Tewari, Anoop M. Namboodiri	Learning and Adaptation for Improving Handwritten Character Recognizers.	ICDAR	2009	DBLP DOI BibTeX RDF
11	Bangy Li, Tieniu Tan	Online Text-independent Writer Identification Based on Temporal Sequence and Shape Codes.	ICDAR	2009	DBLP DOI BibTeX RDF
11	Vandana Roy, Sriganesh Madhvanath, Anand S., Ragunath R. Sharma	A Framework for Adaptation of the Active-DTW Classifier for Online Handwritten Character Recognition.	ICDAR	2009	DBLP DOI BibTeX RDF
11	Nachiappan Nagappan, E. Michael Maximilien, Thirumalesh Bhat, Laurie A. Williams	Realizing quality improvement through test driven development: results and experiences of four industrial teams.	Empir. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Defects/faults, Empirical study, Test driven development, Development time
11	Alexander Thomasian, Lijuan Zhang 0002	Persistent clustered main memory index for accelerating k -NN queries on high dimensional datasets.	Multim. Tools Appl.	2008	DBLP DOI BibTeX RDF	SR-trees, Vector approximation file, Ordered partition index, Karhunen-Loève transform, Principal component analysis, Singular value decomposition, Content based retrieval, Feature vectors, Feature vectors, Nearest neighbor queries, Multidimensional indexing
11	Chul Lee, Sung Hoon Baek, Kyu Ho Park	A Hybrid Flash File System Based on NOR and NAND Flash Memories for Embedded Devices.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Storage Management, File Systems Management, Real-time systems and embedded systems
11	Jeffrey C. Carver, Nachiappan Nagappan, Alan Page	The Impact of Educational Background on the Effectiveness of Requirements Inspections: An Empirical Study.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF
11	Vincent Larivière, Alesia A. Zuccala, Éric Archambault	The declining scientific impact of theses: Implications for electronic thesis and dissertation repositories and graduate studies.	Scientometrics	2008	DBLP DOI BibTeX RDF
11	Robert C. Martin, Grigori Melnik	Tests and Requirements, Requirements and Tests: A Möbius Strip.	IEEE Softw.	2008	DBLP DOI BibTeX RDF
11	Michael Furr, Jeffrey S. Foster	Checking type safety of foreign function calls.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	FFI, flow-sensitive type system, foreign function calls, multilingual type inference, multilingual type system, representational type, Java, dataflow analysis, OCaml, JNI, Java Native Interface, Foreign function interface
11	Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell	Efficient Generation of Unsatisfiability Proofs and Cores in SAT.	LPAR	2008	DBLP DOI BibTeX RDF
11	Sara Izadi, Ching Y. Suen	Online Writer-Independent Character Recognition Using a Novel Relational Context Representation.	ICMLA	2008	DBLP DOI BibTeX RDF
11	A. Bharath, Sriganesh Madhvanath	FreePad: a novel handwriting-based text input for pen and touch interfaces.	IUI	2008	DBLP DOI BibTeX RDF	pen and touch interfaces, handwriting recognition, text input
11	Mohammad Reza Kakoee, Mohammad Riazati, Siamak Mohammadi	Generating RTL Synthesizable Code from Behavioral Testbenches for Hardware-Accelerated Verification.	DSD	2008	DBLP DOI BibTeX RDF
11	Philippe Dreuw, Stephan M. Jonas, Hermann Ney	White-space models for offline Arabic handwriting recognition.	ICPR	2008	DBLP DOI BibTeX RDF
11	Karen J. McRitchie	The road less traveled: collaborative performance reviews.	SIGUCCS	2008	DBLP DOI BibTeX RDF	job performance, performance evaluations, recognition, reviews, evaluation tools
11	Anthony Hall	Integrating Z into Large Projects Tools and Techniques.	ABZ	2008	DBLP DOI BibTeX RDF
11	Benno Stein 0001, Nedim Lipka, Sven Meyer zu Eissen	Meta Analysis within Authorship Verification.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	Authorship Verification, Plagiarism Analysis, Meta Learning
11	Kami Vaniea, Clare-Marie Karat, Joshua B. Gross, John Karat, Carolyn Brodie	Evaluating assistance of natural language policy authoring.	SOUPS	2008	DBLP DOI BibTeX RDF	syntax highlighting, privacy, design process, privacy policies, natural language interfaces, social and legal issues
11	Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst	Practical pluggable types for java.	ISSTA	2008	DBLP DOI BibTeX RDF	igj, javari, pluggable type, java, verification, compiler, annotation, case study, type system, polymorphism, intern, type qualifier, bug finding, flow sensitivity, readonly, immutable, nonnull, javac
11	Simon L. Peyton Jones, Satnam Singh	A Tutorial on Parallel and Concurrent Programming in Haskell.	Advanced Functional Programming	2008	DBLP DOI BibTeX RDF
11	Karin Freiermuth, Juraj Hromkovic, Björn Steffen	Creating and Testing Textbooks for Secondary Schools.	ISSEP	2008	DBLP DOI BibTeX RDF
11	Christophe Scholliers, Tom Van Cutsem, Wolfgang De Meuter	Ambient transactors.	MPAC	2008	DBLP DOI BibTeX RDF	AmbientTalk, mobile ad hoc networks, actors, software transactional memory
11	Christine Choppy, Laure Petrucci, Gianna Reggio	A Modelling Approach with Coloured Petri Nets.	Ada-Europe	2008	DBLP DOI BibTeX RDF	coloured Petri nets, modular design, modelling method, specification method
11	Biswatosh Saha, Shubhashis Gangopadhyay	Building a pedagogy around action and emotion: experiences of Blind Opera of Kolkata.	AI Soc.	2007	DBLP DOI BibTeX RDF	Blind Opera, Contemporary education system, Body language, Emotional memory games, Skill formation, Action and emotion, Pedagogy, Cognition, Knowledge systems
11	Nicolas Donin, Jacques Theureau	Theoretical and methodological issues related to long term creative cognition: the case of musical composition.	Cogn. Technol. Work.	2007	DBLP DOI BibTeX RDF	Large temporal span of cognition, Situation simulation, Musical composition, Activity analysis, Cognition theory
11	Shengming Jiang	An addressing independent networking structure favorable for all-optical packet switching.	Comput. Commun. Rev.	2007	DBLP DOI BibTeX RDF	addressing transparency, all-optical packet switching (AOPS), hierarchical source routing, networking structure
11	Garrett S. Rose, Yuxing Yao, James M. Tour, Adam C. Cabe, Nadine Gergel-Hackett, Nabanita Majumdar, John C. Bean, Lloyd R. Harriott, Mircea R. Stan	Designing CMOS/molecular memories while considering device parameter variations.	ACM J. Emerg. Technol. Comput. Syst.	2007	DBLP DOI BibTeX RDF	CMOS, nanotechnology, molecular electronics
11	Tsung-Yuan Liu, Wen-Hsiang Tsai	A New Steganographic Method for Data Hiding in Microsoft Word Documents by a Change Tracking Technique.	IEEE Trans. Inf. Forensics Secur.	2007	DBLP DOI BibTeX RDF
11	Véronique Eglin, Stéphane Bres, Carlos Rivero	Hermite and Gabor transforms for noise reduction and handwriting classification in ancient manuscripts.	Int. J. Document Anal. Recognit.	2007	DBLP DOI BibTeX RDF	Handwriting characterization, Patrimonial manuscripts, Background noise reduction, Hermite polynomial decomposition, Orientations signature, Classification, Similarity measure, Gabor filtering, Writer identification
11	Ingmar van Dijk, Ruud Wijnands	Test Driving the Wrong Car.	XP	2007	DBLP DOI BibTeX RDF	mistakes, non-functional tests, feedback, Test-Driven Development
11	ZhongCheng Wu, Liping Zhang, Fei Shen	Pen-Based User Interface Based on Handwriting Force Information.	HCI (2)	2007	DBLP DOI BibTeX RDF	Pen-User Interface, handwriting, Pen-based computing, Pen-computer
11	Sagun Dhakhwa, Patrick A. V. Hall, Ganesh Bahadur Ghimire, Prakash Manandhar, Ishwor Thapa	Sambad - Computer Interfaces for Non-literates.	HCI (1)	2007	DBLP DOI BibTeX RDF	illiterate, HCI, speech
11	Ville T. Oikarinen	Extracting a domain specific language from an example: a bottom-up method using the ngrease metalanguage.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	code generation, refactoring, method, DSL, metaprogramming
11	Martin Ota, Ivan Jelínek	Differential Conversion: DWG - SVG Case Study.	CDVE	2007	DBLP DOI BibTeX RDF	differential conversion, CAD, SVG, data exchange, cooperative design, cooperative engineering
11	Chuen-Min Huang, Mei-Chen Wu, Ching-Che Chang	Error Detection and Correction Based on Chinese Phonemic Alphabet in Chinese Text.	MDAI	2007	DBLP DOI BibTeX RDF	Error detection of Chinese text, Error correction of Chinese text, Chinese phonemic alphabet, language model
11	Gosia Wrzesinska, Ana-Maria Oprescu, Thilo Kielmann, Henri E. Bal	Persistent Fault-Tolerance for Divide-and-Conquer Applications on the Grid.	Euro-Par	2007	DBLP DOI BibTeX RDF
11	Tudor Groza, Siegfried Handschuh, Knud Möller, Stefan Decker	SALT - Semantically Annotated LaTeX for Scientific Publications.	ESWC	2007	DBLP DOI BibTeX RDF
11	Michael Woodley, Samuel N. Kamin	Programming studio: a course for improving programming skills in undergraduates.	SIGCSE	2007	DBLP DOI BibTeX RDF	programming, practice, undergraduate education
11	Mohammed Anis Benelbahri, Adel Bouhoula	Tuple Based Approach for Anomalies Detection within Firewall Filtering Rules.	ISCC	2007	DBLP DOI BibTeX RDF
11	Jean-François Couchot, Frédéric Dadeau	Guiding the Correction of Parameterized Specifications.	IFM	2007	DBLP DOI BibTeX RDF
11	Yoonki Song, Suresh Thummalapenta, Tao Xie 0001	UnitPlus: assisting developer testing in Eclipse.	ETX	2007	DBLP DOI BibTeX RDF	developer testing, test code reuse
11	Kimish Patel, Wonbok Lee, Massoud Pedram	Minimizing power dissipation during write operation to register files.	ISLPED	2007	DBLP DOI BibTeX RDF	write operation, power, register file
11	Yu Qiao 0001, Jianzhuang Liu, Xiaoou Tang	Offline Signature Verification Using Online Handwriting Registration.	CVPR	2007	DBLP DOI BibTeX RDF
11	Clay Spinuzzi	Learning our ABCs: accessibility, bottlenecks, and control in an organized research unit's website.	SIGDOC	2007	DBLP DOI BibTeX RDF	sociotechnical change, open systems, content management systems
11	Atul Gupta, Pankaj Jalote	An Experimental Evaluation of the Effectiveness and Efficiency of the Test Driven Development.	ESEM	2007	DBLP DOI BibTeX RDF	Software development styles, software testing, unit testing, test-driven development, experimental analysis
11	Fangzhe Chang, Jennifer Ren	Validating system properties exhibited in execution traces.	ASE	2007	DBLP DOI BibTeX RDF	system testing automation, trace analysis
11	Thomas Beer, Jörg Rasinger, Wolfram Höpken, Matthias Fuchs, Hannes Werthner	Exploiting E-C-A Rules for Defining and Processing Context-Aware Push Messages.	RuleML	2007	DBLP DOI BibTeX RDF	reaction rules, interpreted rules, context-awareness, push, event-condition-action
11	Rob van Nieuwpoort, Thilo Kielmann, Henri E. Bal	User-friendly and reliable grid computing based on imperfect middleware.	SC	2007	DBLP DOI BibTeX RDF	intelligent dispatching, nested exceptions, grid computing
11	Donglin Liang, Kai Xu 0002	Test-Driven Component Integration with UML 2.0 Testing and Monitoring Profile.	QSIC	2007	DBLP DOI BibTeX RDF
11	Zhihui Hu, Howard Leung, Yun Xu	Stroke Correspondence Based on Graph Matching for Detecting Stroke Production Errors in Chinese Character Handwriting.	PCM	2007	DBLP DOI BibTeX RDF	Chinese handwriting education, stroke production error, moment function, graph matching, graph edit distance
11	Yarden Nir-Buchbinder, Shmuel Ur	ConTest listeners: a concurrency-oriented infrastructure for Java test and heal tools.	SOQUA	2007	DBLP DOI BibTeX RDF	Java, testing, concurrency, instrumentation, self-healing
11	Bruce W. Char, Stephen M. Watt	Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation.	ICDAR	2007	DBLP DOI BibTeX RDF
11	Aurélie Lemaitre, Bidyut Baran Chaudhuri, Bertrand Coüasnon	Perceptive Vision for Headline Localisation in Bangla Handwritten Text Recognition.	ICDAR	2007	DBLP DOI BibTeX RDF
11	F. Menasri, Nicole Vincent, Mohamed Cheriet, Emmanuel Augustin	Shape-Based Alphabet for Off-line Arabic Handwriting Recognition.	ICDAR	2007	DBLP DOI BibTeX RDF
11	Y. Tonouchi, A. Kawamura	Text Input System Using Online Overlapped Handwriting Recognition for Mobile Devices.	ICDAR	2007	DBLP DOI BibTeX RDF
11	Andreas Humm, Rolf Ingold, Jean Hennebert	Spoken Handwriting Verification Using Statistical Models.	ICDAR	2007	DBLP DOI BibTeX RDF
11	Emmanuel Prochasson, Christian Viard-Gaudin, Emmanuel Morin	Language Models for Handwritten Short Message Services.	ICDAR	2007	DBLP DOI BibTeX RDF
11	Philip G. Emma	Patent Claims Revisited: Examiners and Trolls.	IEEE Micro	2006	DBLP DOI BibTeX RDF
11	Ronen Feldman, Binyamin Rosenfeld, Moshe Fresko	TEG-a hybrid approach to information extraction.	Knowl. Inf. Syst.	2006	DBLP DOI BibTeX RDF	Hidden Markov models, Information extraction, Text mining, Rule bases systems, Hybrid approaches, Stochastic context free grammars
11	Reid Holmes, Robert J. Walker, Gail C. Murphy	Approximate Structural Context Matching: An Approach to Recommend Relevant Examples.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	API usage, structural context, Strathcona, example recommendation, heuristic search
11	Tie Liu 0002, Pierre Moulin, Ralf Koetter	On error exponents of modulo lattice additive noise channels.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
11	Ryusuke Konishi, Yoshiji Amagai, Koji Sato, Hisashi Hifumi, Seiji Kihara, Satoshi Moriai	The Linux implementation of a log-structured file system.	ACM SIGOPS Oper. Syst. Rev.	2006	DBLP DOI BibTeX RDF	Linux
11	Daniel Wang 0004, Yuru Zhang, Chong Yao	Stroke-based modeling and haptic skill display for Chinese calligraphy simulation system.	Virtual Real.	2006	DBLP DOI BibTeX RDF
11	Georges Chalhoub, Richard Chbeir, Kokou Yétongnon	Flexible Shape-Based Query Rewriting.	FQAS	2006	DBLP DOI BibTeX RDF
11	Gosia Wrzesinska, Jason Maassen, Kees Verstoep, Henri E. Bal	Satin++: Divide-and-Share on the Grid.	e-Science	2006	DBLP DOI BibTeX RDF
11	Roman Knöll, Mira Mezini	Pegasus: first steps toward a naturalistic programming language.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	cognitive foundations of programming, natural language programming, naturalistic programming, philosophical foundations of programming, aspect-oriented programming, language design
11	Mark Bernstein	Intimate information: organic hypertext structure and incremental formalization for everyone"s everyday tasks.	Int. Sym. Wikis	2006	DBLP DOI BibTeX RDF	Nobitic, constructive hypertext, Wikis, personal information
11	Pierre Palatin, Yves Lhuillier, Olivier Temam	CAPSULE: Hardware-Assisted Parallel Execution of Component-Based Programs.	MICRO	2006	DBLP DOI BibTeX RDF
11	Tim Sweeney	The next mainstream programming language: a game developer's perspective.	POPL	2006	DBLP DOI BibTeX RDF
11	Zhi-Wei Chen, Yu-Cheng Lin, Cheng-Chin Chiang	In this paper, an approach for deaf-people.	ICPR (2)	2006	DBLP DOI BibTeX RDF
11	Matthieu Sozeau	Subset Coercions in Coq.	TYPES	2006	DBLP DOI BibTeX RDF
11	Soichiro Iga, Makoto Shinnishi	SnapShoot: integrating semantic analysis and visualization techniques for web-based note taking system.	APVIS	2006	DBLP DOI BibTeX RDF	sowing interface, world wide web, information visualization, interaction technique, context-sensitive, note taking
11	Syed M. Rahman, Paul L. Juell	Applying Software Development Lifecycles in Teaching Introductory Programming Courses.	CSEE&T	2006	DBLP DOI BibTeX RDF	software testing, software quality, programming language, Software development method, software cost
11	David Pengelley, Inna Pivkina, Desh Ranjan, Karen Villaverde	A project in algorithms based on a primary historical source about catalan numbers.	SIGCSE	2006	DBLP DOI BibTeX RDF	algorithms course, historical sources, dynamic programming, pedagogy
11	Pietu Pohjalainen	Object-Oriented Language Processing.	JMLC	2006	DBLP DOI BibTeX RDF
11	Jacob O. Wobbrock, Brad A. Myers, Brandon Rothrock	Few-key text entry revisited: mnemonic gestures on four keys.	CHI	2006	DBLP DOI BibTeX RDF	date stamp, selection keyboard, mobile devices, gestures, text entry, wearables, text input, unistrokes, EdgeWrite
11	Takaaki Okura, Taro Kainurna, Hiromasa Takamura, Masashi Nakarnura, Keigo Utsunomiya	On-Line Report of Teacher Training Education by Portable PC and Mobile Phone: Pre/On-the-Spot/Post Multimedia Training Support for Teacher Training Students.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
11	Georges Chalhoub, Richard Chbeir, Kokou Yétongnon	Shape-Based Visual Query Rewriting.	ICME	2006	DBLP DOI BibTeX RDF
11	Netta Iivari	Understanding the work of an HCI practitioner.	NordiCHI	2006	DBLP DOI BibTeX RDF	'configuring the user', 'representing the user', human computer interaction practitioner, interpretive, qualitative
11	Ashley Williams, Mary Moore	Designing communication: considering the dynamics of the discipline.	SIGDOC	2006	DBLP DOI BibTeX RDF	SIGDOC trends, research, technical communication
11	Mark Zachry, Clay Spinuzzi, William Hart-Davidson	Researching proposal development: accounting for the complexity of designing persuasive texts.	SIGDOC	2006	DBLP DOI BibTeX RDF	information design, proposals, genre ecologies, communicative event models