Search results for "support strategy"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Syuzi Okamura, Isao Matushima, Yoneo Yano	The Effective Learning Support Strategy for Self Learning with Problem-Based Learning.	C5	2005	DBLP DOI BibTeX RDF
2	Clare Dixon, Michael Fisher	The Set of Support Strategy in Temporal Resolution. (PDF / PS)	TIME	1998	DBLP DOI BibTeX RDF
2	Kathryn C. Kinsley, Charles E. Hughes	Analysis of a Virtual Memory Model For Maintaining Database Views.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	virtual memory model, support strategy, virtual method, traditional methods, experimental implementation, database management systems, analytical model, database theory, virtual storage, database views
1	G. Burt	Towards the integration of system modelling with scenario planning to support strategy: the case of the UK energy industry.	JORS	2011	DBLP DOI BibTeX RDF
1	Anastasios Karakostas, Stavros N. Demetriadis	Enhancing collaborative learning through dynamic forms of support: the impact of an adaptive domain-specific support strategy.	J. Comp. Assisted Learning	2011	DBLP DOI BibTeX RDF
1	Hongping Lim, Myla Archer	Translation Templates to Support Strategy Development in PVS.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Tariq Mahmood, Francesco Ricci	Learning and adaptivity in interactive recommender systems.	ICEC	2007	DBLP DOI BibTeX RDF	adaptivity, reinforcement learning, markov decision process, conversational recommender systems
1	Andrew B. T. Hopkins, Klaus D. McDonald-Maier	Debug Support Strategy for Systems-on-Chips with Multiple Processor Cores.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	multiprocessor systems, System architectures, real-time and embedded systems, debugging aids, integration and modeling
1	Laura Caponetti, Ciro Castiello, Anna Maria Fanelli, Przemyslaw Górecki	Texture Segmentation with Local Fuzzy Patterns and Neuro-fuzzy Decision Support.	KES	2006	DBLP DOI BibTeX RDF
1	Qimi Jiang, Chun-Hsien Chen	A multi-dimensional fuzzy decision support strategy.	Decision Support Systems	2005	DBLP DOI BibTeX RDF
1	Albrecht Mayer, Harry Siebert, Klaus D. McDonald-Maier	Debug Support, Calibration and Emulation for Multiple Processor and Powertrain Control SoCs.	DATE	2005	DBLP DOI BibTeX RDF
1	Daniel S. Soper	A Framework for Automated Web Business Intelligence Systems.	HICSS	2005	DBLP DOI BibTeX RDF
1	César A. Collazos, Luis A. Guerrero, José A. Pino, Sergio F. Ochoa	Improving the Use of Strategies in Computer-Supported Collaborative Processes.	CRIWG	2003	DBLP DOI BibTeX RDF
1	George R. S. Weir, Giorgos Lepouras	English Assistant: A Support Strategy for On-Line Second Language Learning.	ICALT	2001	DBLP DOI BibTeX RDF
1	Vikram Sethi, Tonya B. Barrier, Ruth C. King	Leveraging the information architecture to support strategy.	IRMA Conference	2000	DBLP BibTeX RDF
1	Cheryl Stahler	Putting Help Where the User Is - A Desktop Computer Support Strategy.	SIGUCCS	2000	DBLP BibTeX RDF
1	Alexandre Riazanov, Andrei Voronkov	Vampire.	CADE	1999	DBLP DOI BibTeX RDF
1	Wenchang Fang, Jung-Hong Kao	Set-Of-Support Strategy for Higher-Order Logic.	CTRS	1992	DBLP DOI BibTeX RDF
1	Rolf Socher-Ambrosius	A Goal Oriented Strategy Based on Completion.	ALP	1992	DBLP DOI BibTeX RDF
1	Larry Wos	The Problem of Finding a Restriction Strategy More Effective Than the Set of Support Strategy.	J. Autom. Reasoning	1991	DBLP DOI BibTeX RDF
1	Wayne Snyder, Christopher Lynch	Goal Directed Strategies for Paramodulation.	RTA	1991	DBLP DOI BibTeX RDF
1	Sharon L. Graham	Developing a distributed support strategy.	SIGUCCS	1990	DBLP DOI BibTeX RDF
1	Xumin Nie, David A. Plaisted	A Complete Semantic Back Chaining Proof System.	CADE	1990	DBLP DOI BibTeX RDF
1	Larry Wos	The Problem of Extending the Set of Support Strategy.	J. Autom. Reasoning	1987	DBLP DOI BibTeX RDF
1	Peter B. Andrews	Resolution With Merging.	J. ACM	1968	DBLP DOI BibTeX RDF
1	Larry Wos, George A. Robinson, Daniel F. Carson	Efficiency and Completeness of the Set of Support Strategy in Theorem Proving.	J. ACM	1965	DBLP DOI BibTeX RDF