Stem poster$ (all stems)

151 papers:

PPoPP-2012-ZhangL #linear #named

LHlf: lock-free linear hashing (poster paper) (DZ, PÅL), pp. 307–308.

SAT-2012-AbalCHP #problem #term rewriting #using

Using Term Rewriting to Solve Bit-Vector Arithmetic Problems — (Poster Presentation) (IA, AC, JH, JSP), pp. 493–495.

SAT-2012-ArbelaezC #parallel #satisfiability #towards

Towards Massively Parallel Local Search for SAT — (Poster Presentation) (AA, PC), pp. 481–482.

SAT-2012-BaylessH #algorithm

Single-Solver Algorithms for 2QBF — (Poster Presentation) (SB, AJH), pp. 487–488.

SAT-2012-BurgKK #clustering #re-engineering #satisfiability

Creating Industrial-Like SAT Instances by Clustering and Reconstruction — (Poster Presentation) (SB, SK, MK), pp. 471–472.

SAT-2012-DemirovicG #composition #performance #satisfiability

An Efficient Method for Solving UNSAT 3-SAT and Similar Instances via Static Decomposition — (Poster Presentation) (ED, HG), pp. 489–490.

SAT-2012-Gupta #algorithm #proving #reduction

Improved Single Pass Algorithms for Resolution Proof Reduction — (Poster Presentation) (AG), pp. 469–470.

SAT-2012-IserTS #optimisation #order #relational

Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod — (Poster Presentation) (MI, MT, CS), pp. 483–484.

SAT-2012-JabbourLS #satisfiability

Intensification Search in Modern SAT Solvers — (Poster Presentation) (SJ, JL, LS), pp. 491–492.

SAT-2012-KatsirelosS #learning #satisfiability

Learning Polynomials over GF(2) in a SAT Solver — (Poster Presentation) (GK, LS), pp. 496–497.

SAT-2012-LiffitonM #constraints #for free

A Cardinality Solver: More Expressive Constraints for Free — (Poster Presentation) (MHL, JCM), pp. 485–486.

SAT-2012-LiL #satisfiability

Satisfying versus Falsifying in Local Search for Satisfiability — (Poster Presentation) (CML, YL), pp. 477–478.

SAT-2012-LiWL #satisfiability

Exploiting Historical Relationships of Clauses and Variables in Local Search for Satisfiability — (Poster Presentation) (CML, WW, YL), pp. 479–480.

SAT-2012-MarinMB #design #incremental #preprocessor #verification

Incremental QBF Preprocessing for Partial Design Verification — (Poster Presentation) (PM, CM, BB), pp. 473–474.

SAT-2012-MatsliahSS #learning

Augmenting Clause Learning with Implied Literals — (Poster Presentation) (AM, AS, HS), pp. 500–501.

SAT-2012-SabharwalSS #learning #satisfiability

Learning Back-Clauses in SAT — (Poster Presentation) (AS, HS, MS), pp. 498–499.

SAT-2012-TakHB #concurrent

Concurrent Cube-and-Conquer — (Poster Presentation) (PvdT, MH, AB), pp. 475–476.

ICDAR-2009-ClavelliK #segmentation

Text Segmentation in Colour Posters from the Spanish Civil War Era (AC, DK), pp. 181–185.

HT-2001-X

Posters and Demos, p. 6.

ITiCSE-2000-Anderson #algorithm #geometry #interactive #student #using #visualisation

Algorithm visualization using QuickTime movies for student interaction (poster session).: algorithms from computational geometry (JMA), p. 185.

ITiCSE-2000-BarrosP

A versatile assignment in CS 2(poster session): a file compression utility based on the Huffman code (JPB, RP), p. 185.

ITiCSE-2000-BlandL #learning

Agents, profiles, learning styles and tutors (poster session) (CGB, PBL), p. 185.

ITiCSE-2000-Chang #analysis #concept #learning #web

Discovering learning patterns from Web logs by concept transformation analysis (poster session) (CKC), pp. 186–187.

ITiCSE-2000-ChongS #chat #coordination #interactive #multi

A multi-modal chat for coordinated interaction (poster session) (NSTC, MS), p. 187.

ITiCSE-2000-DavidovicWT #adaptation

Structural example-based adaptive tutoring system (poster session) (SEATS) (AD, JW, ET), p. 187.

ITiCSE-2000-Delgado

Ethical knowledge for an electronic era (poster session) (GGD), pp. 187–188.

ITiCSE-2000-Eremin

Software system to learn objects (poster session) (EE), p. 188.

ITiCSE-2000-GooldR

Undergraduates in business computing and computer science (poster session) (AG, RR), p. 188.

ITiCSE-2000-Hagan #education #java #using

Using BlueJ to teach Java (poster session) (DH), pp. 188–189.

ITiCSE-2000-KajavaV

The professional growth of ICT experts through progressive sandwich training (poster session) (JK, RV), p. 189.

ITiCSE-2000-KoldehofePT #algorithm #animation #distributed #education

LYDIAN (poster session): an extensible educational animation environment for distributed algorithms (BK, MP, PT), p. 189.

ITiCSE-2000-Kosa #algorithm #distributed

Distributed algorithms in the discrete mathematics course (poster session) (MJK), pp. 189–190.

ITiCSE-2000-Manne

Competing in computing (poster session) (FM), p. 190.

ITiCSE-2000-MentoTHS #development #education #internet #multi

Internet and multimedia technology curriculum development (poster session) (BM, DT, KH, SS), pp. 190–191.

ITiCSE-2000-Odekirk #source code #student

Analyzing student programs (poster session) (EO), p. 191.

ITiCSE-2000-RosslingF #testing

TOPKAPI (poster session): a tool for performing knowledge tests over the WWW (GR, BF), p. 191.

ITiCSE-2000-SatrazemiD #effectiveness #programming #student

Telemachus an effective electronic marker of students’ programming assignments (poster session) (MS, VD), pp. 191–192.

ITiCSE-2000-Scanlan #multi #student

Student preference for multimedia-based lectures (poster session): a preliminary report (DAS), p. 192.

ITiCSE-2000-SheardPM #difference #student

Subject differences in student attitudes to paper-based and Web-based resources (poster session) (JS, MP, SM), pp. 192–193.

ITiCSE-2000-SheneL #geometry

Computing with geometry as an undergraduate course (poster session) (CKS, JLL), p. 193.

ITiCSE-2000-SheneL00a #design

DesignMentor (poster session): a pedagogical tool for graphics and computer-aided design (CKS, JLL), p. 193.

ITiCSE-2000-ShinYLL #database #education #learning

Plan of teaching & learning for database software through situated learning (poster session) (SBS, IHY, CHL, TWL), pp. 193–194.

ITiCSE-2000-Sooriamurthi #abstraction #functional #recursion #using

Using recursion as a tool to reinforce functional abstraction (poster session) (RS), p. 194.

ITiCSE-2000-Stratton #approach #education #network #protocol #quote

“Network protocols and services”: a non-specialist approach to teaching networking (poster session) (DS), p. 194.

ITiCSE-2000-Terada

Program paper-slide-show (poster session) (MT), pp. 194–195.

ITiCSE-2000-Thompson #learning #maturity #process

Learning process maturity (poster session) (ET), p. 195.

ITiCSE-1999-Ackermann #education #internet

Poster session. Internet curriculum. two courses: introductory and advanced (ECA), pp. 179–180.

SIGIR-1999-Bouwmeester #information management #interface #speech

A Knowledge Management Tool for Speech Interfaces (poster abstract) (NB), pp. 293–294.

SIGIR-1999-BruzaSW

Fundamental Properties of Aboutness (poster abstract) (PB, DS, KFW), pp. 277–278.

SIGIR-1999-ClarkeCS #retrieval #source code

Searching Program Source Code with a Structured Text Retrieval System (poster abstract) (CLAC, AC, SES), pp. 307–308.

SIGIR-1999-CormackLP #precise #random

Estimating Precision by Random Sampling (poster abstract) (GVC, OL, CRP), pp. 273–274.

SIGIR-1999-Downie #effectiveness #music #retrieval

Music Retrieval as Text Retrieval: Simple Yet Effective (poster abstract) (JSD), pp. 297–298.

SIGIR-1999-Eastman #internet #precise

30, 000 Hits may be Better than 300: Precision Anomalies in Internet Searches (poster abstract) (CME), pp. 313–314.

SIGIR-1999-Eguchi #adaptation #clustering #incremental #query #using

Adaptive Cluster-Based Browsing Using Incrementally Expanded Queries and its Effects (poster abstract) (KE), pp. 265–266.

SIGIR-1999-FidelE #behaviour #web

Web Searching Behavior of Aerospace Engineers (poster abstract) (RF, ENE), pp. 319–320.

SIGIR-1999-FranzM #information retrieval

Machine Translation and Monolingual Information Retrieval (poster abstract) (MF, JSM), pp. 295–296.

SIGIR-1999-FungL #approach #classification #image #retrieval

A New Approach for Image Classification and Retrieval (poster abstract) (CYF, KFL), pp. 301–302.

SIGIR-1999-GePS #word

Discovering Chinese Words from Unsegmented Text (poster abstract) (XG, WP, PS), pp. 271–272.

SIGIR-1999-GuptaDNG #algorithm #collaboration #evaluation #linear

Jester 2.0: Evaluation of an New Linear Time Collaborative Filtering Algorithm (poster abstract) (DG, MD, HN, KYG), pp. 291–292.

SIGIR-1999-Hirsh #process #research

Information Seeking at Different Stages of the RD Research Process (poster abstract) (SGH), pp. 285–286.

SIGIR-1999-HoashiMIH #query #word

Query Expansion Method Based on Word Contribution (poster abstract) (KH, KM, NI, KH), pp. 303–304.

SIGIR-1999-HoelscherS #web

Searching on the Web: Two Types of Expertise (poster abstract) (CH, GS), pp. 305–306.

SIGIR-1999-HoenkampSS #category theory #retrieval

Supporting Content Retrieval from WWW via “Basic Level Categories” (poster abstract) (EH, OS, LS), pp. 311–312.

SIGIR-1999-JonesSCKS #comparison #information retrieval #query

A Comparison of Query Translation Methods for English-Japanese Cross-Language Information Retrieval (poster abstract) (GJFJ, TS, NC, AK, KS), pp. 269–270.

SIGIR-1999-JourlinJJW #retrieval #speech

Improving Retrieval on Imperfect Speech Transcriptions (poster abstract) (PJ, SEJ, KSJ, PCW), pp. 283–284.

SIGIR-1999-LamY #adaptation #learning #online

An Intelligent Adaptive Filtering Agent Based on an On-Line Learning Model (poster abstract) (WL, KLY), pp. 287–288.

SIGIR-1999-LewisSS #classification #framework #named #online

ATTICS: A Software Platform for Online Text Classification (poster abstract) (DDL, DLS, AS), pp. 267–268.

SIGIR-1999-RoddenBSW #image #similarity #visualisation

Evaluating a Visualisation of Image Similarity (poster abstract) (KR, WB, DS, KRW), pp. 275–276.

SIGIR-1999-RoussinovTRC #automation #clustering #empirical #interactive #internet

Interactive Internet Search through Automatic Clustering (poster abstract): an empirical study (DR, KMT, MR, HC), pp. 289–290.

SIGIR-1999-RuizS #categorisation #network

Hierarchical Neural Networks for Text Categorization (poster abstract) (MER, PS), pp. 281–282.

SIGIR-1999-SongC #information retrieval

A General Language Model for Information Retrieval (poster abstract) (FS, WBC), pp. 279–280.

SIGIR-1999-TurpinM #information retrieval #statistics

Statistical Phrases for Vector-Space Information Retrieval (poster abstract) (AT, AM), pp. 309–310.

SIGIR-1999-WitbrockM #approach #generative #named #statistics #summary

Ultra-Summarization: A Statistical Approach to Generating Highly Condensed Non-Extractive Summaries (poster abstract) (MJW, VOM), pp. 315–316.

ITiCSE-1998-CarterF #object-oriented #student

Object oriented students? (poster) (JC, AF), p. 271.

ITiCSE-1998-Cassel #education #library

A digital library for undergraduate education: goals and status of efforts at the US National Science Foundation (poster) (LNC), p. 272.

ITiCSE-1998-Clark #information management

Electronic discussions in information systems (poster) (MC), p. 273.

ITiCSE-1998-Clear #collaboration #communication #database #education

A generic collaborative database — part of a strategy to internationalise the curriculum and develop teamwork and communication capabilities (poster) (AGC), p. 274.

ITiCSE-1998-Cooper #design #internet

Designing Internet instructional environments (poster) (PAC), p. 275.

ITiCSE-1998-Daly #approach #learning

A proposed structure for a computer based learning environment — a pragmatic approach (poster) (CD), p. 276.

ITiCSE-1998-DaviesI #education

History in the computing curriculum (poster) (GD, JI), p. 277.

ITiCSE-1998-Drummond #re-engineering #student

Groupware for software engineering student group projects (poster) (SD), p. 278.

ITiCSE-1998-Ellis98a #multi #tutorial #web

Use of multimedia and World Wide Web resources in a traditional lecture/tutorial environment (poster) (AE), p. 279.

ITiCSE-1998-FernandezR #object-oriented #using #visualisation

Using visualisation to improve object-oriented thinking (poster) (AF, GR), p. 280.

ITiCSE-1998-FullerST

Virtual seminars — real networked results? (poster) (UF, JS, GT), p. 281.

ITiCSE-1998-Holliday #network

A Web-based introduction to computer networks (poster) (MAH), p. 282.

ITiCSE-1998-Hollinworth #bibliography #design #multi

The design of multimedia courseware (poster): preliminary survey results (NDPH), p. 283.

ITiCSE-1998-Johansson #approach #programming #student

Programming by example (poster): an instructional approach allowing introductory students to quickly grasp the power and excitement of programming (PGJ), p. 284.

ITiCSE-1998-King #education #evaluation #student #topic

An evaluation of strategies for teaching technical computing topics to students at different levels (poster) (CK), p. 285.

ITiCSE-1998-KoldehofePT #algorithm #animation #distributed #education

Building animations of distributed algorithms for educational purposes (poster) (BK, MP, PT), p. 286.

ITiCSE-1998-Kolikant #algebra #how #student

“How much did you get?” (poster): the influence of algebraic knowledge of computer science students (YBDK), p. 287.

ITiCSE-1998-Kumar #web

Evaluating the pedagogy of computer science courseware delivered over the Web (poster) (ANK), p. 288.

ITiCSE-1998-LeeP #design #education #programming #student

Programming versus design (poster): teaching first year students (PAL, CP), p. 289.

ITiCSE-1998-LeungN #case study #learning #library #web

Does World Wide Web provide better resources than library for learning — a case study (poster) (RMWL, EMWN), p. 290.

ITiCSE-1998-LidtkeZ #approach #collaboration #education #top-down

A top-down, collaborative teaching approach of introductory courses in computer sciences (poster) (DKL, HHZ), p. 291.

ITiCSE-1998-McNally #image #using

Using image processing as a laboratory theme in CS1 and CS2 (poster) (MFM), p. 292.

ITiCSE-1998-MeyerowitzMK #development #multi #student

Student development of multimedia CBE (poster) (JM, MM, SK), p. 294.

ITiCSE-1998-MeyerV #bibliography #education #student

A survey of first computing course students (poster): new findings and their implications for the curriculum (JM, SAV), p. 293.

ITiCSE-1998-MooreS #c #learning #multi #programming

A multimedia C programming course that supports different learning situations (poster) (SM, MS), p. 295.

ITiCSE-1998-Moses

ART199/CS199 the electronic medium (poster) (LEM), p. 296.

ITiCSE-1998-Nakhimovsky #re-engineering

An intranet-based software engineering course (poster) (AN), p. 297.

ITiCSE-1998-ODubhchairQ #education

The changing classroom — ICTs in 21st century education (poster) (KO, SQ), p. 298.

ITiCSE-1998-PrimR #self

Self-evaluation system for digital systems subject (poster) (MP, JR), p. 299.

ITiCSE-1998-RagonisSBS #development #evaluation #implementation #student

Development, implementation and evaluation of a course in expert systems for high-school students (poster) (NR, EYS, MBA, ZS), p. 300.

ITiCSE-1998-Richardson #information management #learning #optimisation

First year information systems papers — optimising learning — minimising administration (poster) (ASR), p. 301.

ITiCSE-1998-RodgerG #automaton #theorem

JFLAP (poster): an aid to studying theorems in automata theory (SHR, EG), p. 302.

ITiCSE-1998-RosbottomM #education #using

Using intelligent agents to change the delivery of education (poster) (JR, CM), p. 303.

ITiCSE-1998-RoweT #education #named #online #programming #tutorial

VINCE — an on-line tutorial tool for teaching introductory programming (poster) (GR, GT), p. 304.

ITiCSE-1998-SelbyY #education #programming #student

The teaching of programming (poster): changing the delivery to meet all students’ needs (LS, AY), p. 305.

ITiCSE-1998-Smith

Structuring team communications with targeted use of groupware (poster) (MS), p. 306.

ITiCSE-1998-Thomas98a #student

Observing students electronically as they learn (poster) (PGT), p. 307.

ITiCSE-1998-Traxler #education #how

How do computer science lecturers create modules? (poster) (JT), p. 308.

ITiCSE-1998-Wans #interactive #learning #multi

An interactive multimedia learning system for the postlingually deaf (poster) (CW), p. 309.

ITiCSE-1998-WojciechowskiNKK #named #testing

TETE: an intelligent knowledge testing engine (poster) (AW, JRN, KK, MK), p. 310.

ITiCSE-1998-Wolfer #bound #re-engineering

Graduate software engineering across international boundaries (poster): the first courses (JW), p. 311.

ITiCSE-1998-Zagursky #flexibility #learning

Information technology for flexible and learning and training (poster) (VZ), p. 312.

ICFP-1998-McAdam #fault

Type Errors Confuse the Programmer (Poster Abstract) (BJM), p. 338.

ITiCSE-WGR-1997-Bishop #education #java

A philosphy of teaching Java (poster) (JMB), p. 146.

ITiCSE-WGR-1997-BogoiavlenskiPS #education

Use of computing curricula 1991 for transition from “Mathematics” to “Applied Mathematics and CS” baccalaureate programme (poster) (IAB, AAP, GSS, AVV), p. 144.

ITiCSE-WGR-1997-BrandellCEN

A single-sex programme in computer science and engineering (poster) (GB, SC, HE, ACN), p. 146.

ITiCSE-WGR-1997-CarlssonKO #education #flexibility #learning

Networked PBL teaching the teacher on flexible learning (poster) (RC, GK, BO), p. 147.

ITiCSE-WGR-1997-DagdilelisS #programming #using

Using Emil Post’s machine for an introduction to formal programming (poster) (VD, MS), p. 147.

ITiCSE-WGR-1997-Danielsson #detection #programming

Detecting plagiarism in introductory programming courses (poster and demonstration) (MD), p. 148.

ITiCSE-WGR-1997-DomingoGLRM #approach #generative #programming #using

SEDA, an advanced software tool in its generation: developing a Windows tutor using SEDA versus a classical programming approach (poster) (PD, ÁGC, ML, BR, VMO), p. 148.

ITiCSE-WGR-1997-GavrilovaSU #distance #internet #learning

Teletutor workbench for Internet distance learning environment (poster) (TG, TS, SU), p. 149.

ITiCSE-WGR-1997-Jimenez-PerisP #detection #independence

A language-independent plagiarism detection system (poster) (RJP, MPM), p. 149.

ITiCSE-WGR-1997-KukukaOT #education

Virtual school project for professional IT teachers in Latvia (poster) (AK, IO, DT), p. 151.

ITiCSE-WGR-1997-LambrixGK #education

Computer science as an integrated part of engineering education (poster) (PL, MGL, MK), p. 151.

ITiCSE-WGR-1997-MageeO #education #evaluation

The evaluation of computer science education in Europe (poster) (PM, MÓ), p. 152.

ITiCSE-WGR-1997-SajaniemiK #education #implementation

Three-level teaching material and its implementation in a teaching situation (poster) (JS, MK), p. 153.

ITiCSE-WGR-1997-Taylor97a #distance #education

Distance education by distance education (poster)0 (HGT), p. 153.

ICFP-1997-Ostvold #functional #induction #recursion #source code #synthesis

Inductive Synthesis of Recursive Functional Programs (Poster Abstract) (BMØ), p. 323.

SIGIR-1996-Liddy #named

Posters: Abstracts (EDL), pp. 340–342.

JICSLP-1996-AravindanBDFNNSS #logic programming #on the #paradigm #proving #theorem proving

On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract) (CA, PB, JD, UF, GN, IN, DS, FS), p. 546.

JICSLP-1996-Bornscheuer #generative #modelling

Generating Rational Models (Poster Abstract) (SEB), p. 547.

JICSLP-1996-BurgardCFKL #detection #logic programming #tool support

Logic Programming Tools Applied to Fire Detection in Hard-coal Mines (Poster Abstract) (WB, ABC, DF, AMK, SLK), p. 532.

JICSLP-1996-Chau #definite clause grammar #specification

Specification of Complex Systems with Definite Clause Grammar (Poster Abstract) (HLC), p. 544.

JICSLP-1996-DeransartPBS #hypermedia #logic programming #source code

A Hypertext Based Environment to Write Literate Logic Programs (Poster Abstract) (PD, PP, RdSB, JdS), p. 540.

JICSLP-1996-DobrohoczkiKN #prolog #visualisation

Colour Tagging for Prolog Visualization (Poster Abstract) (MD, AJK, EN), p. 548.

JICSLP-1996-Ducassen #prolog

Tracing Prolog without a Tracer (Poster Abstract) (MD, JN), p. 534.

JICSLP-1996-FordanGN #constraints #optimisation #problem #using

Optimizing Constraint-Intensive Problems Using Early Projection (Poster Abstract) (AF, UG, AN), p. 537.

JICSLP-1996-FreireSW #database #logic programming

Logic Programming and Databases Integrated at Last? (Poster Abstract) (JF, TS, DSW), p. 538.

JICSLP-1996-JampelJG #framework

A General Framework for Integrating HCLP and PCSP (Poster Abstract) (MJ, JMJ, DRG), p. 543.

JICSLP-1996-Kolbe #3d #image #modelling #recognition

Recognition of 3D Objects in Aerial Images on Generic Models (Poster Abstract) (THK), p. 533.

JICSLP-1996-Luttringhaus-KappelS #lazy evaluation #performance #set

Applications of Efficient Lazy Set Expression (Poster Abstract) (SLK, DS), p. 531.

JICSLP-1996-Neumerkel96a #named #programming #prolog

GUPU: A Prolog Course Environment and its Programming Methodology (Poster Abstract) (UN), p. 549.

JICSLP-1996-Ngo #database #deduction #probability

Probabilistic Disjunctive Deductive Databases (Poster Abstract) (LN), p. 541.

JICSLP-1996-PettorossiPR #algorithm #deduction #how #specification #string

How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification (Poster Abstract) (AP, MP, SR), p. 539.

JICSLP-1996-PontelliG

Dependent And-Parallelism Revisited (Poster Abstract) (EP, GG), p. 542.

JICSLP-1996-SchwitterF

Attempto Controlled English (ACE) A Seemingly Informal Bridgehead in Formal Territory (Poster Abstract) (RS, NEF), p. 536.

JICSLP-1996-TamuraK #compilation #linear #logic programming #programming language #resource management

Resource Management Method for a Compiler System of a Linear Logic Programming Language (Poster Abstract) (NT, YK), p. 545.

JICSLP-1996-WetzelKT #constraints #logic #named #programming

PROCALOG — Programming with Constraints and Abducibles in Logic (Poster Abstract) (GW, RAK, FT), p. 535.