|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings, pp. 112-119, 1996, IEEE Computer Society, 0-8186-7629-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 3rd Asia-Pacific Software Engineering Conference (APSEC '96), December 4-7, 1996, Seoul, South Korea, pp. 310-317, 1996, IEEE Computer Society, 0-8186-7638-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 167-176, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, Proceedings., pp. 155-164, 1996, IEEE Computer Society, 0-8186-7246-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1996 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '96), June 12-14, 1996, Beijing, China, pp. 562-564, 1996, IEEE Computer Society, 0-8186-7460-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 21-25 October 1996, Montreal, Canada, pp. 423-, 1996, IEEE Computer Society, 0-8186-7614-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 2nd International Workshop on Real-Time Computing Systems and Applications, October 25 - 27, 1995, Tokyo, Japan, pp. 80-87, 1995, IEEE Computer Society, 0-8186-7106-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 122-125, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 134-136, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 266-267, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Great Lakes Symposium on VLSI ![In: 5th Great Lakes Symposium on VLSI (GLS-VLSI '95), March 16-18, 1995, The State University of New York at Buffalo, USA, pp. 224-229, 1995, IEEE Computer Society, 0-8186-7035-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 4th International Symposium on High Performance Distributed Computing (HPDC '95), Washington, DC, USA, August 2-4, 1995., pp. 211-218, 1995, IEEE Computer Society, 0-8186-7088-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 4th Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises (WET-ICE'95), April 20-22, 1995, Berkeley Springs, West Virginia, USA, Proceedings, pp. 62-70, 1995, IEEE Computer Society, 0-8186-7019-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: Proceedings of the International Conference on Software Maintenance, ICSM 1995, Opio (Nice), France, October 17-20, 1995, pp. 66-75, 1995, IEEE Computer Society, 0-8186-7141-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume I, pp. 403-408, 1995, IEEE Computer Society, 0-8186-7128-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume I, pp. 163-166, 1995, IEEE Computer Society, 0-8186-7128-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(5), pp. 550-554, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings, pp. 73-87, 1994, Springer, 3-540-58402-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(4), pp. 366-378, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 2(3), pp. 350-360, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 2(3), pp. 329-341, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(5), pp. 424-435, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(8), pp. 800-813, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(2), pp. 223-231, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(3), pp. 335-349, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(12), pp. 1352-1360, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(5), pp. 532-542, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(2), pp. 120-133, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Atlanta, Georgia, USA, April 10-15, 2010, pp. 1321-1330, 2010, ACM, 978-1-60558-929-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 269-280, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH Posters ![In: International Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 2009, New Orleans, Louisiana, USA, August 3-7, 2009, Poster Proceedings, 2009, ACM, 978-1-4503-7928-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Chuan-Kai Yang, Hui-Lin Yang |
Realization of Seurat's pointillism via non-photorealistic rendering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 24(5), pp. 303-322, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), Proceedings, 7-10 January 2008, Waikoloa, Big Island, HI, USA, pp. 55, 2008, IEEE Computer Society, 0-7695-3075-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Masami Noro, Atsushi Sawada, Yoshinari Hachisu, Masahide Banno |
E-AoSAS++ and its Software Development Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan, pp. 206-213, 2007, IEEE Computer Society, 0-7695-3057-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA Workshops (2) ![In: 21st International Conference on Advanced Information Networking and Applications (AINA 2007), Workshops Proceedings, Volume 2, May 21-23, 2007, Niagara Falls, Canada, pp. 1029-1034, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Univers. Access Inf. Soc. ![In: Univers. Access Inf. Soc. 5(1), pp. 73-81, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Described video, Described audio, Production models |
16 | Elisa L. A. Baniassad, Sebastian Fleissner |
The geography of programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 510-520, 2006, ACM, 1-59593-491-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: Proceedings of the 6th IEEE International Conference on Advanced Learning Technologies, ICALT 2006, Kerkrade, The Netherlands, July 5-7, 2006, pp. 1141-1142, 2006, IEEE Computer Society, 0-7695-2632-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Jianming Liu 0002, Dongming Lu, Xifan Shi |
Interactive Sketch Generation for Dunhuang Frescoes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edutainment ![In: Technologies for E-Learning and Digital Entertainment, First International Conference, Edutainment 2006, Hangzhou, China, April 16-19, 2006, Proceedings, pp. 943-946, 2006, Springer, 3-540-33423-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Swapna S. Gokhale, Sherif M. Yacoub |
Performability Analysis of a Pipeline Software Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 1, pp. 77-82, 2005, IEEE Computer Society, 0-7695-2413-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Igor A. Bolshakov, Alexander F. Gelbukh |
Synonymous Paraphrasing Using WordNet and Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NLDB ![In: Natural Language Processing and Information Systems, 9th International Conference on Applications of Natural Languages to Information Systems, NLDB 2004, Salford, UK, June 23-25, 2004, Proceedings, pp. 312-323, 2004, Springer, 3-540-22564-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Ali Arsanjani, Francisco Curbera, Nirmal Mukhi |
Manners Externalize Semantics for On-demand Composition of Context-aware Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: Proceedings of the IEEE International Conference on Web Services (ICWS'04), June 6-9, 2004, San Diego, California, USA, pp. 583-590, 2004, IEEE Computer Society, 0-7695-2167-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 53(1-2), pp. 71-109, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 7th International Conference on Document Analysis and Recognition (ICDAR 2003), 2-Volume Set, 3-6 August 2003, Edinburgh, Scotland, UK, pp. 1060-1064, 2003, IEEE Computer Society, 0-7695-1960-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Jane H. Leuthold |
Is Computer-Based Learning Right for Everyone? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, USA, 1999, IEEE Computer Society, 0-7695-0001-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Furio Honsell, Marino Miculan |
A Natural Deduction Approach to Dynamic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers, pp. 165-182, 1995, Springer, 3-540-61780-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings, pp. 80-95, 1995, Springer, 3-540-60692-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Ron Cytron, Jim Lipkis, Edith Schonberg |
A compiler-assisted approach to SPMD execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings Supercomputing '90, New York, NY, USA, November 12-16, 1990, pp. 398-406, 1990, IEEE Computer Society, 0-89791-412-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Andy Schürr |
Introduction to PROGRESS, an Attribute Graph Grammar Based Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 15th International Workshop, WG '89, Castle Rolduc, The Netherlands, June 14-16, 1989, Proceedings, pp. 151-165, 1989, Springer, 3-540-52292-1. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 446, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
Pascal |
12 | Nedim Lipka, Benno Stein 0001 |
Identifying featured articles in wikipedia: writing style matters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 19th International Conference on World Wide Web, WWW 2010, Raleigh, North Carolina, USA, April 26-30, 2010, pp. 1147-1148, 2010, ACM, 978-1-60558-799-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010, pp. 195-202, 2010, ACM, 978-1-4503-0072-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 1588, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(2), pp. 162-171, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 18th International Conference on World Wide Web, WWW 2009, Madrid, Spain, April 20-24, 2009, pp. 1161-1162, 2009, ACM, 978-1-60558-487-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVC (1) ![In: Advances in Visual Computing, 5th International Symposium, ISVC 2009, Las Vegas, NV, USA, November 30 - December 2, 2009, Proceedings, Part I, pp. 67-78, 2009, Springer, 978-3-642-10330-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Justine Cassell, Kathleen Geraghty, Berto Gonzalez, John Borland |
Modeling culturally authentic style shifting with virtual peers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: Proceedings of the 11th International Conference on Multimodal Interfaces, ICMI 2009, Cambridge, Massachusetts, USA, November 2-4, 2009, pp. 135-142, 2009, ACM, 978-1-60558-772-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Extended Abstracts Volume, Boston, MA, USA, April 4-9, 2009, pp. 2675-2678, 2009, ACM, 978-1-60558-247-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume, pp. 71-80, 2009, IEEE, 978-1-4244-3494-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSL ![In: Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings, pp. 1-19, 2009, Springer, 978-3-642-03033-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI ![In: Proceedings of the 4th ACM/IEEE International Conference on Human Robot Interaction, HRI 2009, La Jolla, California, USA, March 9-13, 2009, pp. 203-204, 2009, ACM, 978-1-60558-404-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Computer Animation ![In: Proceedings of the 2009 ACM SIGGRAPH/Eurographics Symposium on Computer Animation, SCA 2009, New Orleans, Louisiana, USA, August 1-2, 2009, pp. 123-132, 2009, ACM, 978-1-60558-610-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | A. N. M. Imroz Choudhury, Steven G. Parker |
Ray tracing NPR-style feature lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NPAR ![In: 7th International Symposium on Non-Photorealistic Animation and Rendering, NPAR 2009, New Orleans, LA, USA, August 1-2, 2009, Proceedings, pp. 5-14, 2009, ACM, 978-1-60558-604-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 10th International Conference on Document Analysis and Recognition, ICDAR 2009, Barcelona, Spain, 26-29 July 2009, pp. 823-827, 2009, IEEE Computer Society, 978-0-7695-3725-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Hector Freytes |
Pavelka-style completeness in expansions of Lukasiewicz logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 47(1), pp. 15-23, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 24(4), pp. 239-247, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 27(5), pp. 143, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 331-340, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain, pp. 404-409, 2008, IEEE Computer Society, 978-0-7695-3102-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 4313-4316, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Elvira Popescu |
An Artificial Intelligence Course Used to Investigate Students' Learning Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWL ![In: Advances in Web Based Learning - ICWL 2008, 7th International Conference, Jinhua, China, August 20-22, 2008. Proceedings, pp. 122-131, 2008, Springer, 978-3-540-85032-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Taro L. Saito, Shinichi Morishita |
Relational-style XML query. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2008, Vancouver, BC, Canada, June 10-12, 2008, pp. 303-314, 2008, ACM, 978-1-60558-102-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAICSIT ![In: Proceedings of the 2008 Annual Conference of the South African Institute of Computer Scientists and Information Technologists on IT Research in Developing Countries, SAICSIT 2008, Wilderness, South Africa, October 6-8, 2008, pp. 131-138, 2008, ACM, 978-1-60558-286-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: The 8th IEEE International Conference on Advanced Learning Technologies, ICALT 2008, Santander, Cantabria, Spain, July 1-5, 2008, pp. 725-726, 2008, IEEE Computer Society, 978-0-7695-3167-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Reza Mahjourian |
An Architectural Style for Data-Driven Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR ![In: High Confidence Software Reuse in Large Systems, 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008, Proceedings, pp. 14-25, 2008, Springer, 978-3-540-68062-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Meiling Liu, Ling Chen |
Personalized Learning System Based on Solomon Learning Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (5) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 5: E-learning and Knowledge Management / Socially Informed and Instructinal Design / Learning Systems Platforms and Architectures / Modeling and Representation / Other Applications , December 12-14, 2008, Wuhan, China, pp. 820-823, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Kimberly A. Furumo |
The Impact of Conflict and Conflict Management Style on Deadbeats and Deserters in Virtual Teams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), Proceedings, 7-10 January 2008, Waikoloa, Big Island, HI, USA, pp. 445, 2008, IEEE Computer Society, 0-7695-3075-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MUE ![In: 2008 International Conference on Multimedia and Ubiquitous Engineering (MUE 2008), 24-26 April 2008, Busan, Korea, pp. 342-347, 2008, IEEE Computer Society, 978-0-7695-3134-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 15(11), pp. 1270-1283, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Montek Singh, Steven M. Nowick |
The Design of High-Performance Dynamic Asynchronous Pipelines: Lookahead Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 15(11), pp. 1256-1269, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 37(6), pp. 1099-1112, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part C ![In: IEEE Trans. Syst. Man Cybern. Part C 37(2), pp. 248-257, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Pervasive Comput. ![In: IEEE Pervasive Comput. 6(3), pp. 66-75, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCTA ![In: 2007 International Conference on Computing: Theory and Applications (ICCTA 2007), 5-7 March 2007, Kolkata, India, pp. 117-121, 2007, IEEE Computer Society, 978-0-7695-2770-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PATMOS ![In: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proceedings, pp. 181-190, 2007, Springer, 978-3-540-74441-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2007, Vancouver, BC, Canada, June 18-23, 2007, Proceedings, pp. 442-451, 2007, ACM, 978-1-59593-644-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMAR ![In: Sixth IEEE/ACM International Symposium on Mixed and Augmented Reality, ISMAR 2007, 13-16 November 2007, Nara, Japan, pp. 267-268, 2007, IEEE Computer Society, 978-1-4244-1749-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 4252-4257, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Mourad Elhadef, Azzedine Boukerche |
A Gossip-Style Crash Faults Detection Protocol for Wireless Ad-Hoc and Mesh Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCCC ![In: Proceedings of the 26th IEEE International Performance Computing and Communications Conference, IPCCC 2007, April 11-13, 2007, New Orleans, Louisiana, USA, pp. 600-605, 2007, IEEE Computer Society, 1-4244-1138-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Alexis Héloir, Sylvie Gibet |
A Qualitative and Quantitative Characterisation of Style in Sign Language Gestures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Gesture Workshop ![In: Gesture-Based Human-Computer Interaction and Simulation, 7th International Gesture Workshop, GW 2007, Lisbon, Portugal, May 23-25, 2007, Revised Selected Papers, pp. 122-133, 2007, Springer, 978-3-540-92864-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Jing-Ying Chen |
Component Oriented Design Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 2, pp. 651-657, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALGOSENSORS ![In: Algorithmic Aspects of Wireless Sensor Networks, Third International Workshop, ALGOSENSORS 2007, Wroclaw, Poland, July 14, 2007, Revised Selected Papers, pp. 58-70, 2007, Springer, 978-3-540-77870-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Olgierd Unold, Maciej Troc |
Curve, Draft, and Style: Three Steps to the Image. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoWorkshops ![In: Applications of Evolutinary Computing, EvoWorkshops 2007: EvoCoMnet, EvoFIN, EvoIASP,EvoINTERACTION, EvoMUSART, EvoSTOC and EvoTransLog, Valencia, Spain, April11-13, 2007, Proceedings., pp. 601-608, 2007, Springer, 978-3-540-71804-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONFENIS (2) ![In: Research and Practical Issues of Enterprise Information Systems II, Volume 2, IFIP TC 8 WG 8.9 International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2007), October 14-16, 2007, Beijing, China, pp. 1413-1417, 2007, Springer, 978-0-387-76311-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: Proceedings of the 7th IEEE International Conference on Advanced Learning Technologies, ICALT 2007, Niigata, Japan, July 18-20, 2007, pp. 872-876, 2007, IEEE Computer Society, 978-0-7695-2916-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile HCI ![In: Proceedings of the 9th Conference on Human-Computer Interaction with Mobile Devices and Services, Mobile HCI 2007, Singapore, September 9-12, 2007, pp. 379-382, 2007, ACM, 978-1-59593-862-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected Papers, pp. 1122-1129, 2007, Springer, 978-3-540-68105-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: New Trends in Applied Artificial Intelligence, 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007, Proceedings, pp. 135-144, 2007, Springer, 978-3-540-73322-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | |
Cascading Style Sheets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Multimedia ![In: Encyclopedia of Multimedia, 2006, Springer, 978-0-387-24395-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 14(5), pp. 549-552, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
|
|