|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2154 occurrences of 1582 keywords
|
|
|
Results
Found 2476 publication records. Showing 2476 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Robert H. Dolin, Stanley M. Huff, Roberto A. Rocha, Kent A. Spackman, Keith E. Campbell |
Research Paper: Evaluation of a "Lexically Assign, Logically Refine" Strategy for Semi-automated Integration of Overlapping Terminologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Medical Informatics Assoc. ![In: J. Am. Medical Informatics Assoc. 5(2), pp. 203-213, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Philipp A. Heuberger |
Two Strategies to Data-Refine an Equivalence to a Forest. ![Search on Bibsonomy](Pics/bibsonomy.png) |
B ![In: B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings, pp. 261-272, 1998, Springer, 3-540-64405-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | David W. Opitz, Mark W. Craven, Jude W. Shavlik |
Using neural networks to automatically refine expert system knowledge bases: experiments in the NYNEX MAX domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNN ![In: Proceedings of International Conference on Neural Networks (ICNN'97), Houston, TX, USA, June 9-12, 1997, pp. 16-20, 1997, IEEE. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | David Pautler, Steven Woods, Alex Quilici |
Exploiting Domain-Specific Knowledge to Refine Simulation Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 117-, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
high-level simulation specification refinement, simulated combat training, tank platoon members, network-based combat simulator, nonlinear planning, branching factor, constraint satisfaction, digital simulation, executable specification, domain-specific knowledge |
17 | David B. Leake |
Experience, introspection and expertise: Learning to refine the case-based reasoning process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Exp. Theor. Artif. Intell. ![In: J. Exp. Theor. Artif. Intell. 8(3-4), pp. 319-339, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Paul A. Bailes, Paul Burnim, Murray Chapman, Eric J. Salzman |
Towards an Ada Basis for KBSE: Refine-Ada 95 Conversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: The annual meeting of the Ada programming world, TRI-Ada 1996, December 3-7, 1996, Philadelphia, Pennsylvania, USA, pp. 193-204, 1996, ACM, 0-89791-808-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Ada |
17 | Suchendra M. Bhandarkar, Hamid R. Arabnia |
The REFINE Multiprocessor - Theoretical Properties and Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Comput. ![In: Parallel Comput. 21(11), pp. 1783-1805, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Susan Fox, David B. Leake |
Learning to Refine Indexing by Introspective Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBR ![In: Case-Based Reasoning Research and Development, First International Conference, ICCBR-95, Sesimbra, Portugal, October 23-26, 1995, Proceedings, pp. 430-440, 1995, Springer, 3-540-60598-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Susan Fox, David B. Leake |
Using Introspective Reasoning to Refine Indexing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, Montréal Québec, Canada, August 20-25 1995, 2 Volumes, pp. 391-399, 1995, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
17 | Wai Lam, Fahiem Bacchus |
Using New Data to Refine a Bayesian Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UAI ![In: UAI '94: Proceedings of the Tenth Annual Conference on Uncertainty in Artificial Intelligence, Seattle, Washington, USA, July 29-31, 1994, pp. 383-390, 1994, Morgan Kaufmann, 1-55860-332-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
17 | Santanu Paul, Atul Prakash 0001 |
Object data models to support source code queries: implementing SCA within REFINE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPC ![In: Proceedings 1994 IEEE 3rd Workshop on Program Comprehension, WPC '94, Washington, DC, USA, November 14-15, 1994, pp. 145-152, 1994, IEEE, 0-8186-5647-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Catherine Baudin, Barney Pell, Smadar Kedar |
Using Induction to Refine Information Retrieval Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31 - August 4, 1994, Volume 1., pp. 553-559, 1994, AAAI Press / The MIT Press, 0-262-61102-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
17 | C. Safinia, Régis Leveugle, Gabriele Saucier |
Taking Advantage of High Level Functional Information to Refine Timing Analysis and Timing Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDAC-ETC-EUROASIC ![In: EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28 - March 3, 1994, Paris, France, pp. 349-353, 1994, IEEE Computer Society, 0-8186-5410-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Gordon Kotik, Lawrence Markosian |
Application of REFINE Language ToolsTM to Software Quality Assurance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994, pp. 4, 1994, IEEE Computer Society, 0-8186-6380-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | David W. Opitz, Jude W. Shavlik |
Using Genetic Search to Refine Knowledge-based Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Machine Learning, Proceedings of the Eleventh International Conference, Rutgers University, New Brunswick, NJ, USA, July 10-13, 1994, pp. 208-216, 1994, Morgan Kaufmann, 1-55860-335-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Paul A. Bailes, Murray Chapman, Ming Gong, Ian Peake |
GRIT-an extended REFINE for more executable specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993, pp. 123-132, 1993, IEEE Computer Society, 0-8186-4100-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | J. Christian Wild, Steven J. Zeil, Gao Feng, Ji Chen |
Employing Accumulated Knowledge to Refine Test Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 2(2), pp. 53-68, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Michael Magee, William A. Hoff, Lance Gatrell, Cheryl Weber-Sklair, William J. Wolfe |
Employing sensor repositioning to refine spatial reasoning in an industrial robotic environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 1(1), pp. 69-85, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Michèle Sebag, Marc Schoenauer |
Using Examples to Refine a Redundant Knowledge Base. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991, pp. 227-236, 1991, Logica Ltd., Cambridge, UK. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
17 | Lynne Marie Davis |
Usability Tests Refine Requirements (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, CSC '90, Sheraton Washington Hotel, Washington, DC, USA, February 20-22, 1990, pp. 406, 1990, ACM, 0-89791-348-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Peter Politakis, Sholom M. Weiss |
Using Empirical Analysis to Refine Expert System Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 22(1), pp. 23-48, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
17 | Edward J. Lusk |
Isolating periodicities to refine the organization's control system: an analysis of four methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Manag. ![In: Inf. Manag. 3(2), pp. 51-61, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
12 | Ashish Kapoor, Bongshin Lee, Desney S. Tan, Eric Horvitz |
Interactive optimization for steering machine classification. ![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. 1343-1352, 2010, ACM, 978-1-60558-929-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
interactive machine learning, visualization, decision theory, interactive optimization |
12 | Fatih Kursat Ozenc, Miso Kim, John Zimmerman, Stephen Oney, Brad A. Myers |
How to support designers in getting hold of the immaterial material of software. ![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. 2513-2522, 2010, ACM, 978-1-60558-929-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
communication, tools, design process, interactive controls |
12 | Johannes Magenheim, Wolfgang Nelles, Thomas Rhode, Niclas Schaper |
Towards a Methodical Approach for an Empirically Proofed Competency Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSEP ![In: Teaching Fundamentals Concepts of Informatics, 4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2010, Zurich, Switzerland, January 13-15, 2010. Proceedings, pp. 124-135, 2010, Springer, 978-3-642-11375-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Research in Informatics Education, Qualitative Content Analysis, Empirical Methods, Curriculum Issues, Communication Skills, Educational Standards, Competency Model |
12 | Daniele Riboni |
Towards the Combination of Statistical and Symbolic Techniques for Activity Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom Workshops ![In: Seventh Annual IEEE International Conference on Pervasive Computing and Communications - Workshops (PerCom Workshops 2009), 9-13 March 2009, Galveston, TX, USA, pp. 1-2, 2009, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Minyoung Song, Chris Quintana |
WIIS: multimodal simulation for exploring the world beyond visual sense. ![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. 4699-4704, 2009, ACM, 978-1-60558-247-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
multimodal representations, simulations, learning technologies |
12 | Seshan Srirangarajan, Ahmed H. Tewfik, Zhi-Quan Luo |
Distributed sensor network localization using SOCP relaxation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 7(12-1), pp. 4886-4895, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Muga Nishizawa, Shigeru Chiba |
A small extension to Java for class refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 160-165, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
class refinement, java, programming transformation |
12 | Shen Yang, Yue Qi, Fei Hou, Xukun Shen, Qinping Zhao |
A novel method based on color information for scanned data alignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRST ![In: Proceedings of the ACM Symposium on Virtual Reality Software and Technology, VRST 2008, Bordeaux, France, October 27-29, 2008, pp. 201-204, 2008, ACM, 978-1-59593-951-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
coarse registration, multi-view registration, 3D scanning, automatic registration |
12 | Songhao Zhu, Yuncai Liu |
Image annotation refinement using semantic similarity correlation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 19th International Conference on Pattern Recognition (ICPR 2008), December 8-11, 2008, Tampa, Florida, USA, pp. 1-4, 2008, IEEE Computer Society, 978-1-4244-2175-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Jun'ichi Tatemura, Songting Chen, Fenglin Liao, Oliver Po, K. Selçuk Candan, Divyakant Agrawal |
UQBE: uncertain query by example for web service mashup. ![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. 1275-1280, 2008, ACM, 978-1-60558-102-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
uncertain query, web service, data integration, query by example, lineage |
12 | Ryo Okamoto, Akihiro Kashihara |
Facilitating Presentation Rehearsal Review with Realtime-Created Hypervideo Technique. ![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. 438-439, 2008, IEEE Computer Society, 978-0-7695-3167-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Min Ding 0005, Kristian Lyngbaek, Avideh Zakhor |
Automatic registration of aerial imagery with untextured 3D LiDAR models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2008 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2008), 24-26 June 2008, Anchorage, Alaska, USA, 2008, IEEE Computer Society, 978-1-4244-2242-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Chongsheng Zhang, Zhongbo Wu, Bo Qu, Hong Chen 0001, Xing Hao |
On Efficient Processing of Multiple KNN Queries in Constrained Spatial Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (4) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 4, pp. 261-265, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Walter Dosch |
Coordinating Almost Synchronous Communication Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONS ![In: The Third International Conference on Systems, ICONS 2008, April 13-18, 2008, Cancun, Mexico, pp. 7-15, 2008, IEEE Computer Society, 978-0-7695-3105-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
almost synchronous stream, input/output behaviour, history abstraction, Coordination, transformation, functional modeling, state transition machine |
12 | Darina Kyselovà, Didier Dubois, Magda Komorníková, Radko Mesiar |
Refining Aggregation Operator-Based Orderings in Multifactorial Evaluation - Part I: Continuous Scales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 15(6), pp. 1100-1106, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Cheng-Yuan Lin, Jyh-Shing Roger Jang |
Automatic Phonetic Segmentation by Score Predictive Model for the Corpora of Mandarin Singing Voices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 15(7), pp. 2151-2159, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Reza Sherkat, Davood Rafiei |
On MBR Approximation of Histories for Historical Queries: Expectations and Limitations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 23rd International Conference on Data Engineering, ICDE 2007, The Marmara Hotel, Istanbul, Turkey, April 15-20, 2007, pp. 1312-1314, 2007, IEEE Computer Society, 1-4244-0802-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Daniel Kroening, Natasha Sharygina |
Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2007 Design, Automation and Test in Europe Conference and Exposition, DATE 2007, Nice, France, April 16-20, 2007, pp. 1325-1330, 2007, EDA Consortium, San Jose, CA, USA, 978-3-9810801-2-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Hui Song, Yanchun Sun, Li Zhou, Gang Huang 0001 |
Towards Instant Automatic Model Refinement Based on OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan, pp. 167-174, 2007, IEEE Computer Society, 0-7695-3057-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Anthony Hunter |
Elements of Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings, pp. 4, 2007, Springer, 978-3-540-75255-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Zheng-Jun Zha, Tao Mei 0001, Xian-Sheng Hua 0001, Guo-Jun Qi, Zengfu Wang |
Refining video annotation by exploiting pairwise concurrent relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 15th International Conference on Multimedia 2007, Augsburg, Germany, September 24-29, 2007, pp. 345-348, 2007, ACM, 978-1-59593-702-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
pairwise concurrent relation, video annotation |
12 | Jiang Hu, Andi Winterboer, Clifford Nass, Johanna D. Moore, Rebecca Illowsky |
Context & usability testing: user-modeled information presentation in easy and difficult driving conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2007 Conference on Human Factors in Computing Systems, CHI 2007, San Jose, California, USA, April 28 - May 3, 2007, pp. 1343-1346, 2007, ACM, 978-1-59593-593-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
user modeling, usability testing, context of use, driving simulator, spoken dialogue system, information presentation |
12 | Andi Winterboer, Johanna D. Moore |
Evaluating information presentation strategies for spoken recommendations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RecSys ![In: Proceedings of the 2007 ACM Conference on Recommender Systems, RecSys 2007, Minneapolis, MN, USA, October 19-20, 2007, pp. 157-160, 2007, ACM, 978-1-59593-730-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
user modeling, spoken dialogue systems, information presentation |
12 | Krishnendu Chatterjee, Thomas A. Henzinger |
Assume-Guarantee Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 261-275, 2007, Springer, 978-3-540-71208-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Milos Radovanovic, Mirjana Ivanovic |
CatS: A Classification-Powered Meta-Search Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Web Intelligence and Data Mining ![In: Advances in Web Intelligence and Data Mining, pp. 191-200, 2006, Springer, 978-3-540-33879-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Jun Liu, Roger J. Hubbold |
Mesh Optimisation Using Edge Information in Feature-Based Surface Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVC (1) ![In: Advances in Visual Computing, Second International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006 Proceedings, Part I, pp. 434-444, 2006, Springer, 3-540-48628-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Changhu Wang, Feng Jing, Lei Zhang 0001, HongJiang Zhang |
Image annotation refinement using random walk with restarts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 14th ACM International Conference on Multimedia, Santa Barbara, CA, USA, October 23-27, 2006, pp. 647-650, 2006, ACM, 1-59593-447-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
image annotation refinement, random walk with restarts |
12 | Catriona M. Kennedy, Georgios Theodoropoulos 0001 |
Intelligent Management of Data Driven Simulations to Support Model Building in the Social Sciences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2006, 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part III, pp. 562-569, 2006, Springer, 3-540-34383-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Margaret A. Wojcicki, Paul A. Strooper |
A state-of-practice questionnaire on verification and validation for concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), PADTAD 2006, Portland, Maine, USA, July 17, 2006, pp. 1-10, 2006, ACM, 1-59593-414-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
validation technologies, verification, concurrency, survey |
12 | Chadd C. Williams, Jeffrey K. Hollingsworth |
Automatic Mining of Source Code Repositories to Improve Bug Finding Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 31(6), pp. 466-480, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
version control, Testing tools, debugging aids, configuration control |
12 | Ruixuan Wang, Wee Kheng Leow |
Human body posture refinement by nonparametric belief propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (3) ![In: Proceedings of the 2005 International Conference on Image Processing, ICIP 2005, Genoa, Italy, September 11-14, 2005, pp. 1272-1275, 2005, IEEE, 0-7803-9134-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Xia Sun, Qinghua Zheng |
An approach to acquire semantic relationships between terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 1630-1633, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
ambiguous linguistic patterns, unambiguous linguistic patterns, semantic relationships |
12 | Halit Ergezer, Kemal Leblebicioglu 0001 |
Refining the Progressive Multiple Sequence Alignment Score Using Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAINN ![In: Artificial Intelligence and Neural Networks, 14th Turkish Symposium, TAINN 2005, Izmir, Turkey, June 16-17, 2005, Revised Selected Papers, pp. 177-184, 2005, Springer, 3-540-36713-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Mohamad Ivan Fanany, Itsuo Kumazawa, Kiichi Kobayashi |
A neural network scheme for transparent surface modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRAPHITE ![In: Proceedings of the 3rd International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia 2005, Dunedin, New Zealand, November 29 - December 2, 2005, pp. 433-437, 2005, ACM, 1-59593-201-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
neural network, 3D modeling, transparent surface |
12 | Ganeshkumar Ganapathy, Barbara Goodson, Robert K. Jansen, Vijaya Ramachandran, Tandy J. Warnow |
Pattern Identification in Biogeography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WABI ![In: Algorithms in Bioinformatics, 5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005, Proceedings, pp. 116-127, 2005, Springer, 3-540-29008-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Zhuan Qing Huang, Zhuhan Jiang |
Tracking Camouflaged Objects with Weighted Region Consolidation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DICTA ![In: Proceedings of the International Conference on Digital Image Computing: Techniques and Applications, DICTA 2005, 6-8 December 2005, Cairns, Australia, pp. 24, 2005, IEEE Computer Society, 0-7695-2467-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Hui-Min Yan, Tao Qin 0001, Tie-Yan Liu, Xu-Dong Zhang 0001, Guang Feng, Wei-Ying Ma |
Calculating Webpage Importance with Site Structure Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIRS ![In: Information Retrieval Technology, Second Asia Information Retrieval Symposium, AIRS 2005, Jeju Island, Korea, October 13-15, 2005, Proceedings, pp. 546-551, 2005, Springer, 3-540-29186-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Shuguang Su, Shengsheng Yu, Jingli Zhou |
An improved Basic-Unit Layer Rate-Control Scheme on H.264. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Sixth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2005), 5-8 December 2005, Dalian, China, pp. 815-819, 2005, IEEE Computer Society, 0-7695-2405-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Cagkan Erbas, Simon Polstra, Andy D. Pimentel |
IDF Models for Trace Transformations: A Case Study in Computational Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMOS ![In: Computer Systems: Architectures, Modeling, and Simulation, Third and Fourth International Workshops, SAMOS 2003 and SAMOS 2004, Samos, Greece, July 21-23, 2003 and July 19-21, 2004, Proceedings, pp. 178-190, 2004, Springer, 3-540-22377-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Raul Silaghi |
Refining designs along middleware-specific concern-dimensions at different MDA-levels of abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 60-62, 2004, ACM, 1-58113-833-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
middleware concerns, AOP, MDA, model transformations, aspectJ, UML profiles, eclipse plug-ins, parallax, enterprise fondue |
12 | Raul Silaghi |
Refining designs along middleware-specific concern-dimensions at different MDA-levels of abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 318-319, 2004, ACM, 1-58113-833-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
middleware concerns, AOP, MDA, model transformations, aspectJ, UML profiles, eclipse plug-ins, parallax, enterprise fondue |
12 | Eric Pacuit, Rohit Parikh |
The Logic of Communication Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies II, Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers, pp. 256-269, 2004, Springer, 3-540-26172-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Robert W. Lindeman, Robert C. Page, Yasuyuki Yanagida, John L. Sibert |
Towards full-body haptic feedback: the design and deployment of a spatialized vibrotactile feedback system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRST ![In: Proceedings of the ACM Symposium on Virtual Reality Software and Technology, VRST 2004, Hong Kong, November 10-12, 2004, pp. 146-149, 2004, ACM, 1-58113-907-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
CQB, full-body, virtual reality, haptic feedback |
12 | Ling Shao 0001, Michael Brady 0001 |
Three-Dimensional Mass Reconstruction in Mammography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV Workshops CVAMIA and MMBIA ![In: Computer Vision and Mathematical Methods in Medical and Biomedical Image Analysis, ECCV 2004 Workshops CVAMIA and MMBIA, Prague, Czech Republic, May 15, 2004, Revised Selected Papers, pp. 246-256, 2004, Springer, 3-540-22675-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Freddy Y. C. Mang, Pei-Hsin Ho |
Abstraction refinement by controllability and cooperativeness analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004, pp. 224-229, 2004, ACM, 1-58113-828-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
formal verification, controllability, cooperativeness, abstraction refinement |
12 | Angela F. Freitas, Carla Nascimento, Ana Cavalcanti 0001 |
A Refinement Tool for Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, pp. 396-415, 2003, Springer, 3-540-20461-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
ZRC, program development, calculation |
12 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre |
Software Verification with BLAST. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings, pp. 235-239, 2003, Springer, 3-540-40117-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | David G. Stork, Rob J. van Glabbeek |
Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings, pp. 394-413, 2002, Springer, 3-540-43787-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Kalyani K. Manchi, Xindong Wu 0001 |
Dynamic Refinement of Classification Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 4-6 November 2002, Washington, DC, USA, pp. 189-, 2002, IEEE Computer Society, 0-7695-1849-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Ling-Ling Yan, Renée J. Miller, Laura M. Haas, Ronald Fagin |
Data-Driven Understanding and Refinement of Schema Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 2001 ACM SIGMOD international conference on Management of data, Santa Barbara, CA, USA, May 21-24, 2001, pp. 485-496, 2001, ACM, 1-58113-332-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Benjamin C. Pierce, Jerome Vouillon |
Unison: A File Synchronizer and Its Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings, pp. 560, 2001, Springer, 3-540-42736-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Chin-Chih Chang, Jason Cong |
An efficient approach to multilayer layer assignment with anapplication to via minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18(5), pp. 608-620, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Robert Mandelbaum, Garbis Salgian, Harpreet S. Sawhney |
Correlation-based Estimation of Ego-Motion and Structure from Motion and Stereo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Proceedings of the International Conference on Computer Vision, Kerkyra, Corfu, Greece, September 20-25, 1999, pp. 544-550, 1999, IEEE Computer Society, 0-7695-0164-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
multi-baseline, structure, stereo, multi-resolution, shape recovery, ego-motion |
12 | Michael Imhoff, Ursula Gather, Katharina Morik |
Development of Decision Support Algorithms for Intensive Care Medicine: A New Approach Combining Time Series Analysis and a Knowledge Base System with Learning and Revision Capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 219-230, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Hamza Zidoum, Pierre Flener, Brahim Hnich |
Schema-Guided Synthesis of CLP Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings, pp. 309-312, 1998, Springer, 3-540-65765-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Ronen Feldman, Willi Klösgen, Amir Zilberstein |
Document Explorer: Discovering Knowledge in Document Collections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 10th International Symposium, ISMIS '97, Charlotte, North Carolina, USA, October 15-18, 1997, Proceedings, pp. 137-146, 1997, Springer, 3-540-63614-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
12 | Edmond Mesrobian, Richard R. Muntz, Eddie C. Shek, Silvia Nittel, Mark La Rouche, Marc Kriguer, Carlos R. Mechoso, John D. Farrara, Paul E. Stolorz, Hisashi Nakamura |
Mining Geophysical Data for Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Expert ![In: IEEE Expert 11(5), pp. 34-44, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
12 | Michael Seibert, Allen M. Waxman |
Adaptive 3-D Object Recognition from Multiple Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(2), pp. 107-124, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
3D object adaptive recognition, 3D appearance modelling, exploratory view sequences, aspect-transition matrices, clustering, pattern recognition, pattern recognition, segmentation, picture processing, adaptive systems |
12 | Sylvie Damy, Guy-René Perrin |
A Refinement of Communicating Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE ![In: PARLE '92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings, pp. 949-950, 1992, Springer, 3-540-55599-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
12 | John L. Gustafson |
Reevaluating Amdahl's Law. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 31(5), pp. 532-533, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
6 | Jack Snoeyink, Vishal Verma |
Fitting spheres to electron density. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 27th ACM Symposium on Computational Geometry, Paris, France, June 13-15, 2011, pp. 291-292, 2011, ACM, 978-1-4503-0682-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
6 | Stephanie Rosenthal, Anind K. Dey |
Towards maximizing the accuracy of human-labeled sensor data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 15th International Conference on Intelligent User Interfaces, IUI 2010, Hong Kong, China, February 7-10, 2010, pp. 259-268, 2010, ACM, 978-1-60558-515-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
labeling sensor data, active learning |
6 | Evandro Manara Miletto, Marcelo Soares Pimenta, Jean-Paul Sansonnet, François Bouchet |
Social music making on the web with CODES. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 876-877, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
cooperative musical prototyping, ordinary users, web |
6 | Alexander Kotov 0001, ChengXiang Zhai |
Towards natural question guided search. ![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. 541-550, 2010, ACM, 978-1-60558-799-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
query processing, interactive search, search interface |
6 | Takehiro Yamamoto, Satoshi Nakamura 0002, Katsumi Tanaka |
RerankEverything: a reranking interface for browsing search results. ![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. 1209-1210, 2010, ACM, 978-1-60558-799-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
wrapper generation, reranking, search user interfaces |
6 | Hamid R. Motahari Nezhad, Guang Yuan Xu, Boualem Benatallah |
Protocol-aware matching of web service interfaces for adapter development. ![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. 731-740, 2010, ACM, 978-1-60558-799-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
web services, adaptation, business process |
6 | Changhu Wang, Zhiwei Li 0006, Lei Zhang 0001 |
MindFinder: image search by interactive sketching and tagging. ![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. 1309-1312, 2010, ACM, 978-1-60558-799-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
MindFinder, tagging, sketching, interactive search |
6 | Ananda Gunawardena, Aaron Tan, David Kaufer |
Encouraging reading and collaboration using classroom salon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 15th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2010, Bilkent, Ankara, Turkey, June 26-30, 2010, pp. 254-258, 2010, ACM, 978-1-60558-729-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
data structures, annotations, reading comprehension |
6 | Jian-Guang Lou, Qiang Fu, Shengqi Yang, Jiang Li 0008, Bin Wu 0001 |
Mining program workflow from interleaved traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 16th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, July 25-28, 2010, pp. 613-622, 2010, ACM, 978-1-4503-0055-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
graphical behavior models, temporal properties, workflow mining |
6 | Ravi Kumar 0001, Mohammad Mahdian, Mary McGlohon |
Dynamics of conversations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 16th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, July 25-28, 2010, pp. 553-562, 2010, ACM, 978-1-4503-0055-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
human response, groups, threads, conversations, graph models, Twitter, usenet |
6 | Massimo Zancanaro, Eynat Gal, Sarah Parsons, Patrice L. (Tamar) Weiss, Nirit Bauminger, Sue Cobb |
Teaching social competence: in search of design patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDC ![In: Interaction Design and Children, Proceedings of the 9th International Conference on Interaction Design and Children, IDC 2010, Barcelona, Spain, June 9-12, 2010, pp. 270-273, 2010, ACM, 978-1-60558-951-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
collaborative virtual reality, shared active surface, social competence training, autism, scenario-based design |
6 | Luciano Barbosa, Hoa Nguyen, Thanh Hoang Nguyen, Ramesh Pinnamaneni, Juliana Freire |
Creating and exploring web form repositories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2010, Indianapolis, Indiana, USA, June 6-10, 2010, pp. 1175-1178, 2010, ACM, 978-1-4503-0032-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
search engines, focused crawling, hidden web, web forms, learning classifiers |
6 | Feng Zhao 0009, Gautam Das 0001, Kian-Lee Tan, Anthony K. H. Tung |
Call to order: a hierarchical browsing approach to eliciting users' preference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2010, Indianapolis, Indiana, USA, June 6-10, 2010, pp. 27-38, 2010, ACM, 978-1-4503-0032-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
visualization, sampling, skyline query, preference query |
6 | Yurong He, Chen Zhao, Pamela J. Hinds |
Understanding information sharing from a cross-cultural perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Extended Abstracts Volume, Atlanta, Georgia, USA, April 10-15, 2010, pp. 3823-3828, 2010, ACM, 978-1-60558-930-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
culture, information sharing, online |
6 | Miqing Li, Jinhua Zheng, Ruimin Shen, Ke Li 0001, Qizhao Yuan |
A grid-based fitness strategy for evolutionary many-objective optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010, pp. 463-470, 2010, ACM, 978-1-4503-0072-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
fitness assignment, grid, multiobjective optimization, many-objective optimization |
6 | Núria Macià, Albert Orriols-Puig, Ester Bernadó-Mansilla |
In search of targeted-complexity problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010, pp. 1055-1062, 2010, ACM, 978-1-4503-0072-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
artificial data sets, evolutionary multiobjective optimization, data complexity |
6 | Hector Ouilhet |
Google Sky Map: using your phone as an interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile HCI ![In: Proceedings of the 12th Conference on Human-Computer Interaction with Mobile Devices and Services, Mobile HCI 2010, Lisbon, Portugal, September 7-10, 2010, pp. 419-422, 2010, ACM, 978-1-60558-835-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
6 | Wengang Zhou, Qi Tian 0001, Linjun Yang, Houqiang Li |
Latent visual context analysis for image re-ranking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIVR ![In: Proceedings of the 9th ACM International Conference on Image and Video Retrieval, CIVR 2010, Xi'an, China, July 5-7, 2010, pp. 205-212, 2010, ACM, 978-1-4503-0117-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
image re-ranking, visual context, visual link graph, latent semantic analysis |
Displaying result #601 - #700 of 2476 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|