|
|
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 |
16 | Jian Chen, Richard H. Carver |
Selecting and mapping test sequences from formal specifications of concurrent programs. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
test sequence selection, incremental testing, specification partitioning, constraint-style Lotos specification, abstract test sequences, concrete test sequences, Ada implementation, formal specification, formal specifications, concurrent programs, specification-based testing, state explosion problem |
16 | Jeongwon Baeg, Yoshiaki Fukazawa |
A Dialog-Oriented User Interface Generation Mechanism. |
APSEC |
1996 |
DBLP DOI BibTeX RDF |
dialog-oriented user interface generation mechanism, GUI application development, interaction items selection, low-cost implementation techniques, description technique, default interface, interactive customization, development costs, presentation style, graphical user interfaces, graphical user interface, user interface design, UIMS, user interface management system, design rules, interface builders, user interface specification |
16 | Sheetanshu L. Pandey, Kothanda R. Subramanian, Philip A. Wilsey |
A Semantic Model of VHDL for Validating Rewriting Algebras. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
rewriting algebras validation, declarative style, process-folding, CAD tool optimization, VHDL, formal model, semantic model, hardware description languages, interval temporal logic, dynamic semantics |
16 | Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun |
Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing. |
ICSE |
1996 |
DBLP BibTeX RDF |
UNITY proof logic, action synchronization, continuous position changes, decoupled computing style, independent computing units, location-dependent behavior, location-dependent communication patterns, pairwise transient interactions, transient program interactions, variable sharing, mobile computing, distributed computing, distributed processing, dependability, modularity, computer networks, synchronisation, network operating systems, disconnections, mobile radio, assertional reasoning |
16 | Wanli Ma, C. W. Johnson, Richard P. Brent |
Programming with transactions and chemical abstract machine. |
ISPAN |
1996 |
DBLP DOI BibTeX RDF |
chemical abstract machine, T-Cham, interactive computational model, T-Cham program, coordination style, transactions, transaction processing, high level languages, database languages |
16 | Hans Toetenel, Ronald F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk |
Modeling and analysis of complex computer systems-the MTCCS approach. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
complex computer systems modeling, complex computer systems analysis, MTCCS approach, work in progress, real time concurrent systems, non trivial data component, Timed CCS, Model Oriented Timed Calculus of Communicating Systems, model oriented data language, operational style, temporal logic properties, combination notation, verification, formal specification, formal specification, specification language, symbolic model checking, VDM |
16 | K. H. (Kane) Kim, Luiz F. Bacellar, Yuseok Kim, Chittur Subbaraman, Hankil Yoon, Jung-Guk Kim, Kee-Wook Rim |
A timeliness-guaranteed kernel model-DREAM kernel-and implementation techniques. |
RTCSA |
1995 |
DBLP DOI BibTeX RDF |
timeliness-guaranteed kernel model, DREAM kernel, timeliness-guaranteed operating system, new-style real-time objects, hardware utilization, v.D2, real-time systems, modularity, digital simulation, real-time simulator, operating system kernels, operating system kernel, expandability, real-time processes, prototype implementation, real-time computer systems, implementation techniques, application environment |
16 | Fabrizio Capobianco, Mauro Mosconi, Lorenzo Pagnin |
Progressive HTTP-based Querying of Remote Databases within the Marmotta Iconic VQS. |
VL |
1995 |
DBLP DOI BibTeX RDF |
progressive HTTP-based querying, remote databases, Marmotta iconic VQS, software layer, retrieval requests, direct manipulation style, form-based interfaces, query result manipulation, query result reuse, nonmotonic progressive query processes, Internet, WWW, query processing, graphical user interfaces, distributed databases, browsing, visual languages, client-server systems, icons, graphical interface, expressive power, online front-ends |
16 | Mark Aldred, Ilya Gertner, Stephen McKellar |
A distributed lock manager on fault tolerant MPP. |
HICSS (1) |
1995 |
DBLP DOI BibTeX RDF |
distributed lock manager, fault tolerant MPP, Oracle Parallel Server, MPP UNIX system, resource locks, distributed message passing, global memory, reflective memory, Encore Infinity 90 architecture, shared memory style DLM, DLM recovery, Oracle session, node repair, MPP Unix, reliability, parallel programming, fault tolerant computing, message passing, Unix, shared memory systems, software fault tolerance, operating systems (computers) |
16 | Isabelle Attali, Denis Caromel, Andrew L. Wendelborn |
From a formal dynamic semantics of Sisal to a Sisal environment. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
formal dynamic semantics, Sisal environment, Sisal 2.0, structural operational style, Typoi inference rules, Centaur system, generic specification environment, strongly typed language, single assignment language, vector machines, formal specification, parallel programming, software tools, multiprocessors, programming environments, parallel languages, parallel processors, Sisal, Natural Semantics, formal definition, dataflow machines |
16 | O. A. Petlin, Stephen B. Furber |
Scan testing of asynchronous sequential circuits. |
Great Lakes Symposium on VLSI |
1995 |
DBLP DOI BibTeX RDF |
micropipeline design style, combinational block, state holding elements, standard test generation techniques, VLSI, logic testing, delays, integrated circuit testing, logic design, sequential circuits, asynchronous circuits, integrated logic circuits, delay faults, boundary scan testing, scan testing, single stuck-at faults, asynchronous sequential logic, asynchronous sequential circuits |
16 | Adam Ferrari, Vaidy S. Sunderam |
TPVM: Distributed Concurrent Computing with Lighweight Processes. |
HPDC |
1995 |
DBLP DOI BibTeX RDF |
TPVM, distributed concurrent computing, lightweight processes, threads-oriented PVM, experimental auxiliary subsystem, library interface, explicit message passing model, data-driven scheduling model, SPMD-style algorithms, scheduling, scheduling, load balance, parallel processing, parallelism, message passing, data dependencies, processor utilization |
16 | David Irving |
Managing the resources of a portfolio of projects. |
WETICE |
1995 |
DBLP DOI BibTeX RDF |
virtual corporation, management style, project structure, corporate structure, management procedures, project management, project management, systems re-engineering, office automation, project planning, commerce |
16 | Yih-Farn Chen, Glenn S. Fowler, Eleftherios Koutsofios, Ryan S. Wallach |
Ciao: a graphical navigator for software and document repositories. |
ICSM |
1995 |
DBLP DOI BibTeX RDF |
Ciao, graphical navigator, document repositories, maintenance task, virtual database pipelines, structural connections, source document collection, Aero architecture style, entity-relationship databases, directed attributed graphs, graph analysis operators, presentation filters, graph views, source views, information retrieval, database, reverse engineering, query processing, software maintenance, browsing, directed graphs, data visualisation, programmers, entity-relationship modelling, software repositories, database queries, software documents, relational views |
16 | Stefan Manke, Michael Finke, Alex Waibel |
NPen++: a writer independent, large vocabulary on-line cursive handwriting recognition system. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
NPen/sup ++/, large vocabulary online cursive handwriting recognition system, common writing style, preprocessing techniques, LCD tablet, image recognition, handwriting recognition, digitizer, neural network architecture, neural net architecture, temporal sequence, data points |
16 | Shin'ichi Satoh 0001, Atsuhiro Takasu, Eishi Katsura |
An automated generation of an electronic library based on document image understanding. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
bibliographic systems, electronic library generation, document image understanding, paper printed materials, hypertext style browsing interface, table-of-content images, academic journals, hypertext schema, CyberMagazine, user interfaces, hypermedia, document image processing, libraries, bibliographic database, library automation |
16 | Jonathan J. Hull |
A Database for Handwritten Text Recognition Research. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1994 |
DBLP DOI BibTeX RDF |
alphanumeric characters, gray scale, flat bed digitizer, performance evaluation, character recognition, image database, visual databases, digital images, performance comparisons, style, writer, handwritten text recognition, 8 bit |
16 | Paul Tarau, Ulrich Neumerkel |
A Novel Term Compression Scheme and Data Representation in the BinWAM. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
implementation of Prolog, term representation, last argument overlapping, continuation passing style, WAM |
16 | Tracy Camp, Phil Kearns, Mohan Ahuja |
Proof Rules for Flush Channels. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
flush channels, asynchronous communication constructs, datagrams, receipt-order restrictions, message-by-message basis, Hoare-style partial correctness verification methodology, concurrency, distributed processing, program verification, distributed program, virtual circuits |
16 | Paul Havlak, Ken Kennedy |
An Implementation of Interprocedural Bounded Regular Section Analysis. |
IEEE Trans. Parallel Distributed Syst. |
1991 |
DBLP DOI BibTeX RDF |
interprocedural bounded regular section analysis, subarrays, production compiler, high-level language constructs, programmingsupport systems, LINPACK library, linear algebra subroutines, RiceCompiler Evaluation Program Suite, RiCEPS, application codes, scientific disciplines, modular programming style, parallel programming, program testing, program compilers, dependence analysis, optimizing compilers, procedure calls |
16 | Ken Kennedy, Kathryn S. McKinley, Chau-Wen Tseng |
Interactive Parallel Programming using the ParaScope Editor. |
IEEE Trans. Parallel Distributed Syst. |
1991 |
DBLP DOI BibTeX RDF |
ParaScope Editor, intelligent interactive editor, parallel Fortran programs, ParaScopeproject, integrated collection, scientific programmers, efficient parallel programs, powerful interactive program transformations, general user editing, hybrid text, structureediting facility, modified program, exploratory programming style, parallel programming, FORTRAN, text editing, interactive programming |
16 | Douglas E. Harms, Bruce W. Weide |
Copying and Swapping: Influences on the Design of Reusable Software Components. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
data movement primitive, generic reusable software components, generic module designs, swapping style, data structures, software reusability |
16 | Yoëlle S. Maarek, Daniel M. Berry, Gail E. Kaiser |
An Information Retrieval Approach For Automatically Constructing Software Libraries. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
information retrieval approach, large software libraries, natural language documentation, indexing scheme, lexical affinities, free-text indexing scheme, free-style natural language queries, software reuse, natural languages, browsing, software reusability, automatic programming, attributes, subroutines, information retrieval systems, clustering technique |
16 | Narasimhaiah Gorla, Alan C. Benander, Barbara A. Benander |
Debugging Effort Estimation Using Software Metrics. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
debugging effort estimation, quadratic regressions, style characteristics, V(g), VARS, PARS, Cobol programs, program analyzer, statistical procedures, SAS, statistical analysis system, GOTO usage, IF-ELSE construct, level 88 item usage, paragraph invocation pattern, data name length, debug times, DEST, software metrics, statistical analysis, program testing, program debugging, linear regressions, multiple regressions, LOC |
16 | Saumya K. Debray, David Scott Warren |
Towards Banishing the Cut from Prolog. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
impure language features, impure features, Prolog source programs, firstof, oneof, declarative readings, parallel evaluation strategies, purer programming style, logic programs, logic programming, static analysis, PROLOG, program transformations, nondeterminism, cut, language constructs, compile time |
16 | David Alex Lamb |
Specification of Iterators. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
trace specifications, common form, iterator module, Alphard-style iterators, sequence iterator, iterator construct, procedural parameters, formal specification, data structures, algebraic specification, high level languages, partial specifications |
16 | Brent Hailpern, Tien Huynh, György E. Révész |
Comparing Two Functional Programming Systems. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
functional programming systems, graph reduction interpreter, DEL-style intermediate instruction set architecture, performance evaluation, benchmarks, functional programming, lambda calculus, functional languages, high level languages, execution times, performance comparison, FP, evaluation strategies, implementation language |
16 | K. K. Ramakrishnan, Joel S. Emer |
Performance Analysis of Mass Storage Service Alternatives for Distributed Systems. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
mass storage service alternatives, client-server-style distributed system, storage semantics hierarchy, file services, individual disk-block access, file-block access, network communication requirements, performance evaluation, distributed systems, distributed processing, storage management, network operating systems, file organisation, LAN, disk, design alternatives |
16 | Jacek Jankowski, Krystian Samp, Izabela Irzynska, Marek Jozwowicz, Stefan Decker |
Integrating Text with Video and 3D Graphics: The Effects of Text Drawing Styles on Text Readability. |
CHI |
2010 |
DBLP DOI BibTeX RDF |
image polarity, text drawing styles, augmented reality, aesthetics, 3d graphics, readability, legibility |
16 | Avik Chaudhuri |
A concurrent ML library in concurrent Haskell. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
concurrent haskell, distributed synchronization protocol, synchronization abstractions, pi calculus, concurrent ML |
16 | Seungju Bang, Kyoungju Park |
Oriental stylization with strokes and shades. |
SIGGRAPH Posters |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Chuan-Kai Yang, Hui-Lin Yang |
Realization of Seurat's pointillism via non-photorealistic rendering. |
Vis. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Pointillism, Complementary colors, NPR, Dithering, Halos |
16 | Her-Sen Doong, Hui-Chih Wang |
The Impact of Cognitive Styles on Users' Future Intention to Use E-Negotiation Systems. |
HICSS |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Masami Noro, Atsushi Sawada, Yoshinari Hachisu, Masahide Banno |
E-AoSAS++ and its Software Development Environment. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Chih-Ping Chu, Yi-Chun Chang |
A Prediction Mechanism of Adaptive Learning Content in the Scalable E-Learning Environment. |
AINA Workshops (2) |
2007 |
DBLP DOI BibTeX RDF |
prediction mechanism, peer to peer, e-learning, adaptive learning |
16 | Deborah I. Fels, John Patrick Udo, P. Ting, Jonas E. Diamond, Jeremy I. Diamond |
Odd Job Jack described: a universal design approach to described video. |
Univers. Access Inf. Soc. |
2006 |
DBLP DOI BibTeX RDF |
Described video, Described audio, Production models |
16 | Elisa L. A. Baniassad, Sebastian Fleissner |
The geography of programming. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
culturally derived programming languages |
16 | Pedro Paredes 0001, Pilar Rodríguez 0001 |
The Application of Learning Styles in Both Individual and Collaborative Learning. |
ICALT |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Jianming Liu 0002, Dongming Lu, Xifan Shi |
Interactive Sketch Generation for Dunhuang Frescoes. |
Edutainment |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Swapna S. Gokhale, Sherif M. Yacoub |
Performability Analysis of a Pipeline Software Architecture. |
COMPSAC (1) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Igor A. Bolshakov, Alexander F. Gelbukh |
Synonymous Paraphrasing Using WordNet and Internet. |
NLDB |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Ali Arsanjani, Francisco Curbera, Nirmal Mukhi |
Manners Externalize Semantics for On-demand Composition of Context-aware Services. |
ICWS |
2004 |
DBLP DOI BibTeX RDF |
Grammar-oriented object design, context-aware components, on-demand computing, dynamically reconfigurable software architecture, service-oriented architecture, service composition, component-based software engineering, Manners |
16 | Alan Fern, Robert Givan |
Online Ensemble Learning: An Empirical Study. |
Mach. Learn. |
2003 |
DBLP DOI BibTeX RDF |
decision trees, boosting, online learning, branch prediction, ensemble learning, bagging |
16 | Sriharsha Veeramachaneni, George Nagy |
Towards a Ptolemaic Model for OCR. |
ICDAR |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Jane H. Leuthold |
Is Computer-Based Learning Right for Everyone? |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Furio Honsell, Marino Miculan |
A Natural Deduction Approach to Dynamic Logic. |
TYPES |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever |
Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems. |
FSTTCS |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Ron Cytron, Jim Lipkis, Edith Schonberg |
A compiler-assisted approach to SPMD execution. |
SC |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Andy Schürr |
Introduction to PROGRESS, an Attribute Graph Grammar Based Specification Language. |
WG |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Henry Stewart Austin |
Associations of student characteristics to measures of introductory Pascal computer programming achievement for suburban community college students (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
Pascal |
12 | Nedim Lipka, Benno Stein 0001 |
Identifying featured articles in wikipedia: writing style matters. |
WWW |
2010 |
DBLP DOI BibTeX RDF |
domain transfer, wikipedia, information quality |
12 | Ryan J. Urbanowicz, Jason H. Moore |
The application of michigan-style learning classifiersystems to address genetic heterogeneity and epistasisin association studies. |
GECCO |
2010 |
DBLP DOI BibTeX RDF |
gene association study, genetic heterogeneity, snp, genetic algorithm, learning classifier system, xcs, genetics-based machine learning, epistasis, ucs, mcs |
12 | |
KL-ONE Style Languages. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Song-Hai Zhang, Tao Chen 0015, Yi-Fei Zhang, Shi-Min Hu 0001, Ralph R. Martin |
Video-based running water animation in Chinese painting style. |
Sci. China Ser. F Inf. Sci. |
2009 |
DBLP DOI BibTeX RDF |
Chinese painting, video rendering, non-photorealistic rendering, optical flow, stroke based rendering |
12 | Matthias Keller, Martin Nussbaumer |
Cascading style sheets: a novel approach towards productive styling with today's standards. |
WWW |
2009 |
DBLP DOI BibTeX RDF |
abstractness factor, presentation authoring, HTML, CSS |
12 | Mi You, Jinho Park, Byungkuk Choi, Jun-yong Noh |
Cartoon Animation Style Rendering of Water. |
ISVC (1) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Justine Cassell, Kathleen Geraghty, Berto Gonzalez, John Borland |
Modeling culturally authentic style shifting with virtual peers. |
ICMI |
2009 |
DBLP DOI BibTeX RDF |
analysis and modeling of verbal and nonverbal interaction, culture, embodied conversational agents |
12 | Larry L. Constantine, Helmut Windl |
Safety, speed, and style: interaction design of an in-vehicle user interface. |
CHI Extended Abstracts |
2009 |
DBLP DOI BibTeX RDF |
in-vehicle, interaction design, automotive, safety-critical, model-driven design, user performance |
12 | Paolo Salvaneschi |
Functional abstractions for testing repository-style information systems. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Olivier Danvy, Chung-chieh Shan, Ian Zerny |
J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations. |
DSL |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Masato Noda, Toshihiro Osumi, Kenta Fujimoto, Yuki Kuwayama, Hirotaka Osawa, Michita Imai, Kazuhiko Shinozawa |
Blog robot: a new style for accessing location-based contents. |
HRI |
2009 |
DBLP DOI BibTeX RDF |
agent presentation, information revitalization, human robot interaction, web contents |
12 | Xiaohan Ma, Binh Huy Le, Zhigang Deng |
Style learning and transferring for facial animation editing. |
Symposium on Computer Animation |
2009 |
DBLP DOI BibTeX RDF |
|
12 | A. N. M. Imroz Choudhury, Steven G. Parker |
Ray tracing NPR-style feature lines. |
NPAR |
2009 |
DBLP DOI BibTeX RDF |
ray tracing, silhouettes, intersections, lines, creases |
12 | Loris Eynard, Hubert Emptoz |
Italic or Roman: Word Style Recognition without A Priori Knowledge for Old Printed Documents. |
ICDAR |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Hector Freytes |
Pavelka-style completeness in expansions of Lukasiewicz logic. |
Arch. Math. Log. |
2008 |
DBLP DOI BibTeX RDF |
Mathematical Subject Classification (2000) 03B50, 03B52, 06D35 |
12 | Yotam Livny, Michael Press, Jihad El-Sana |
Interactive GPU-based adaptive cartoon-style rendering. |
Vis. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Cartoon rendering, Hardware acceleration, View-dependent rendering |
12 | Anjul Patney, John D. Owens |
Real-time Reyes-style adaptive surface subdivision. |
ACM Trans. Graph. |
2008 |
DBLP DOI BibTeX RDF |
Reyes, adaptive surface subdivision, graphics hardware, GPGPU |
12 | François Pottier |
Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
Proofs of programs, hidden local state, higher-order frame rule, separation logic, dynamic memory allocation |
12 | Benjamin Satzger, Andreas Pietzowski, Wolfgang Trumler, Theo Ungerer |
A Lazy Monitoring Approach for Heartbeat-Style Failure Detectors. |
ARES |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Ghinwa F. Choueiter, Mesrob I. Ohannessian, Stephanie Seneff, James R. Glass |
A turbo-style algorithm for lexical baseforms estimation. |
ICASSP |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Elvira Popescu |
An Artificial Intelligence Course Used to Investigate Students' Learning Style. |
ICWL |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Taro L. Saito, Shinichi Morishita |
Relational-style XML query. |
SIGMOD Conference |
2008 |
DBLP DOI BibTeX RDF |
amoeba join, xml, functional dependency, relational query |
12 | Alex Koller, Greg Foster, Madeleine Wright |
Java Micro Edition and Adobe Flash Lite for arcade-style mobile phone game development: a comparative study. |
SAICSIT |
2008 |
DBLP DOI BibTeX RDF |
ActionScript, Adobe flash lite, Java micro edition, mobile games, cell phones, comparative study, mobile data services |
12 | Elvira Popescu, Philippe Trigano, Costin Badica |
Relations between Learning Style and Learner Behavior in an Educational Hypermedia System: An Exploratory Study. |
ICALT |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Reza Mahjourian |
An Architectural Style for Data-Driven Systems. |
ICSR |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Meiling Liu, Ling Chen |
Personalized Learning System Based on Solomon Learning Style. |
CSSE (5) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Kimberly A. Furumo |
The Impact of Conflict and Conflict Management Style on Deadbeats and Deserters in Virtual Teams. |
HICSS |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Frode Eika Sandnes, Yo-Ping Huang, Yeh-Min Huang |
An Eyes-Free In-car User Interface Interaction Style Based on Visual and Textual Mnemonics, Chording and Speech. |
MUE |
2008 |
DBLP DOI BibTeX RDF |
in-car user interface, HCI, chording |
12 | Montek Singh, Steven M. Nowick |
The Design of High-Performance Dynamic Asynchronous Pipelines: High-Capacity Style. |
IEEE Trans. Very Large Scale Integr. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Montek Singh, Steven M. Nowick |
The Design of High-Performance Dynamic Asynchronous Pipelines: Lookahead Style. |
IEEE Trans. Very Large Scale Integr. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Paul Jen-Hwa Hu, Wendy Hui, Theodore H. K. Clark, Kar Yan Tam |
Technology-Assisted Learning and Learning Style: A Longitudinal Field Experiment. |
IEEE Trans. Syst. Man Cybern. Part A |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Pedro J. Ponce de León, Jos Iesta |
Pattern Recognition Approach for Music Style Identification Using Shallow Statistical Descriptors. |
IEEE Trans. Syst. Man Cybern. Part C |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Sung-Bae Cho, Kyung-Joong Kim 0001, Keum-Sung Hwang, In-Ji Song |
AniDiary: Daily Cartoon-Style Diary Exploits Bayesian Networks. |
IEEE Pervasive Comput. |
2007 |
DBLP DOI BibTeX RDF |
landmark detection, comic generation, ubiquitous computing, Bayesian networks, life logging |
12 | Pritha Banerjee 0001, Susmita Sur-Kolay |
Faster Placer for Island-Style FPGAs. |
ICCTA |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Mandeep Singh, Christophe Giacomotto, Bart R. Zeydel, Vojin G. Oklobdzija |
Logic Style Comparison for Ultra Low Power Operation in 65nm Technology. |
PATMOS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Robert Capra, Gary Marchionini, Jung Sun Oh, Frederic Stutzman, Yan Zhang 0005 |
Effects of structure and interaction style on distinct search tasks. |
JCDL |
2007 |
DBLP DOI BibTeX RDF |
usability, browsing, information architecture, facets |
12 | Erick Méndez, Dieter Schmalstieg |
Adaptive Augmented Reality Using Context Markup and Style Maps. |
ISMAR |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Thomas Cook, Clare Bates Congdon |
Preliminary results with GAUGUIN, an evolutionary computation approach to creating art in the suprematis style. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Mourad Elhadef, Azzedine Boukerche |
A Gossip-Style Crash Faults Detection Protocol for Wireless Ad-Hoc and Mesh Networks. |
IPCCC |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Alexis Héloir, Sylvie Gibet |
A Qualitative and Quantitative Characterisation of Style in Sign Language Gestures. |
Gesture Workshop |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Jing-Ying Chen |
Component Oriented Design Style. |
COMPSAC (2) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Luzi Anderegg, Stephan J. Eidenbenz, Leon Peeters, Peter Widmayer |
Optimal Placement of Ad-Hoc Devices Under a VCG-Style Routing Protocol. |
ALGOSENSORS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Olgierd Unold, Maciej Troc |
Curve, Draft, and Style: Three Steps to the Image. |
EvoWorkshops |
2007 |
DBLP DOI BibTeX RDF |
Interactive evolution, Bezier curve, Evolutionary art |
12 | Zijian Zhang, Lili Jiang 0003, Qiang Zhang |
A Research on a Genetic Algorithm for Hybrid Production Style. |
CONFENIS (2) |
2007 |
DBLP DOI BibTeX RDF |
Hybrid production, System of production scheduling, Genetic algorithm |
12 | Fionán Peter Williams, Owen Conlan |
Visualizing Narrative Structures and Learning Style Information in Personalized e-Learning Systems. |
ICALT |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Ji Hye Kim, Kun-Pyo Lee |
Culturally adapted mobile phone interface design: correlation between categorization style and menu structure. |
Mobile HCI |
2007 |
DBLP DOI BibTeX RDF |
interface design, cultural difference, cognitive styles |
12 | Julien Tesson, Frédéric Loulergue |
Formal Semantics of DRMA-Style Programming in BSPlib. |
PPAM |
2007 |
DBLP DOI BibTeX RDF |
Parallel Programming, formal Semantics, BSP |
12 | Sung-Bae Cho, Kyung-Joong Kim 0001, Keum-Sung Hwang |
Generating Cartoon-Style Summary of Daily Life with Multimedia Mobile Devices. |
IEA/AIE |
2007 |
DBLP DOI BibTeX RDF |
|
12 | |
Cascading Style Sheets. |
Encyclopedia of Multimedia |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Jae-Joon Kim, Kaushik Roy 0001 |
A Leakage-Tolerant Low-Swing Circuit Style in Partially Depleted Silicon-on-Insulator CMOS Technologies. |
IEEE Trans. Very Large Scale Integr. Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
|
|