Search results for "Hints"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	A. K. McIver, Carroll C. Morgan, Carlos Gonzalía	Proofs and Refutations for Probabilistic Refinement.	FM	2008	DBLP DOI BibTeX RDF	quantitative program logic, refinement, constraint solving, counterexamples, Probabilistic systems
9	Carlo A. Furia, Matteo Pradella, Matteo Rossi	Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation.	FM	2008	DBLP DOI BibTeX RDF	real-time, sampling, discretization, metric temporal logic, verification techniques, dense time
9	Davide Pozza, Riccardo Sisto	A Lightweight Security Analyzer inside GCC.	ARES	2008	DBLP DOI BibTeX RDF	Defensive Programming, Static Analysis, Software Security, Bug Finding
9	Sam Bryfczynski	OrganicPad: a tablet PC based chemistry tool.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	lewis structures, organic chemistry, tablet PC, graph isomorphism
9	Abram Hindle, Michael W. Godfrey, Richard C. Holt	Reverse Engineering CAPTCHAs.	WCRE	2008	DBLP DOI BibTeX RDF
9	Michael Stark 0003, Philipp Lies, Michael Zillich, Jeremy L. Wyatt, Bernt Schiele	Functional Object Class Detection Based on Learned Affordance Cues.	ICVS	2008	DBLP DOI BibTeX RDF	Functional object categories, object affordances, object category detection, object recognition
9	Alain Durand, Marc Joye, Mohamed Karroumi	Laundering and Repackaging of Multimedia Content in Content Distribution Systems.	APSCC	2008	DBLP DOI BibTeX RDF
9	Jianxin Wang 0001, Ling Chen 0003, Weiwei Zhou	Design and Implementation of an Internet-Based Platform for C Language Learning.	ICWL	2008	DBLP DOI BibTeX RDF	logic error checking, compile error checking, C language learning, distance education
9	Steven J. Henderson, Steven Feiner	Opportunistic controls: leveraging natural affordances as tangible user interfaces for augmented reality.	VRST	2008	DBLP DOI BibTeX RDF	selection metaphor, augmented reality, tangible user interfaces, 3D interaction
9	Noboru Matsuda, William W. Cohen, Jonathan Sewall, Gustavo Lacerda, Kenneth R. Koedinger	Why Tutored Problem Solving May be Better Than Example Study: Theoretical Implications from a Simulated-Student Study.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF	Intelligent Authoring System, Simulated Student, Machine Learning, Programming by Demonstration, Cognitive Tutor
9	Pedro J. Muñoz Merino, Carlos Delgado Kloos	An Architecture for Combining Semantic Web Techniques with Intelligent Tutoring Systems.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF
9	Jana Z. Sukkarieh, Eleanor Bolge	Leveraging C-Rater's Automated Scoring Capability for Providing Instructional Feedback for Short Constructed Responses.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF
9	Robert G. M. Hausmann, Brett van de Sande, Kurt VanLehn	Shall We Explain? Augmenting Learning from Intelligent Tutoring Systems and Peer Collaboration.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF	explanation activities, studying examples, Collaborative learning
9	Yeonsik Jeong, Sriram Lakshmanan, Sandeep Kakumanu, Raghupathy Sivakumar	Cue-Based Networking Using Wireless Sensor Networks: A Video-over-IP Application.	SECON	2008	DBLP DOI BibTeX RDF
9	Markus Rabe 0001, Sven Spieckermann, Sigrid Wenzel	A new procedure model for verification and validation in production and logistics simulation.	WSC	2008	DBLP DOI BibTeX RDF
9	Ulrik Brandes, Jürgen Lerner, Miranda J. Lubbers, Christopher McCarty, José Luis Molina	Visual Statistics for Collections of Clustered Graphs.	PacificVis	2008	DBLP DOI BibTeX RDF
9	Emmanuel Jeannot	Experimental validation of grid algorithms: A comparison of methodologies.	IPDPS	2008	DBLP DOI BibTeX RDF
9	Ji Soo Yi, Youn ah Kang, John T. Stasko, Julie A. Jacko	Understanding and characterizing insights: how do people gain insights using information visualization?	BELIV	2008	DBLP DOI BibTeX RDF	evaluation, information visualization, categorization, sensemaking, insight
9	Karen Zee, Viktor Kuncak, Martin C. Rinard	Full functional verification of linked data structures.	PLDI	2008	DBLP DOI BibTeX RDF	java, verification, data structure, decision procedure, theorem prover
9	Thomas Bartz-Beielstein, Mike Preuss	Experimental research in evolutionary computation.	GECCO (Companion)	2008	DBLP DOI BibTeX RDF	sequential parameter optimization, metaheuristics, empirical analysis
9	Konstantinos Kazakos, Thirimachos Bourlai, Yuichi Fujiki, James Levine, Ioannis T. Pavlidis	NEAT-o-Games: novel mobile gaming versus modern sedentary lifestyle.	Mobile HCI	2008	DBLP DOI BibTeX RDF	obesity intervention, obesity prevention, human computer interaction, ubiquitous computing, serious gaming, pervasive gaming, physical activity, wearable sensors, NEAT, behavior modification
9	Huiguang Liang, Mehul Motani, Wei Tsang Ooi	Textures in Second Life: Measurement and Analysis.	ICPADS	2008	DBLP DOI BibTeX RDF
9	Francesco Camastra, Alfredo Petrosino	Kernel Methods for Graphs: A Comprehensive Approach.	KES (2)	2008	DBLP DOI BibTeX RDF
9	Sebastiano Battiato, Gianpiero di Blasi, Giovanni Gallo, Giuseppe Claudio Guarnera, Giovanni Puglisi	A Novel Artificial Mosaic Generation Technique Driven by Local Gradient Analysis.	ICCS (2)	2008	DBLP DOI BibTeX RDF	Artificial Mosaic, Gradient Vector Flow, Non Photo-Realistic Rendering
9	Knut Drewing	Shape Discrimination in Active Touch: Effects of Exploratory Direction and Their Exploitation.	EuroHaptics	2008	DBLP DOI BibTeX RDF	active touch, exploratory movement, shape, psychophysics
9	Johannes Hirche, Peter Bomark, Mikael Bauer, Pawel Solyga	Adaptive interface for text input on large-scale interactive surfaces.	Tabletop	2008	DBLP DOI BibTeX RDF
9	Heinz-Dietrich Wuttke, Karsten Henke	LMS-Coupled Simulations and Assessments in a Digital Systems Course.	ISM	2008	DBLP DOI BibTeX RDF
9	Vinay Devadas, Hakan Aydin	Real-Time Dynamic Power Management through Device Forbidden Regions.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	Dynamic Voltage Scaling, Real-Time Scheduling, Energy Management, Dynamic Power Management, Periodic Task Scheduling
9	Omar Hammami, Zhoukun Wang, Virginie Fresse, Dominique Houzet	A quantitative evaluation of C-based synthesis on heterogeneous embedded systems design.	ISCAS	2008	DBLP DOI BibTeX RDF
9	Zhe Zhang 0005, Kyuhyung Lee, Xiaosong Ma, Yuanyuan Zhou 0001	PFC: Transparent Optimization of Existing Prefetching Strategies for Multi-Level Storage Systems.	ICDCS	2008	DBLP DOI BibTeX RDF
9	Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita	Weak vs. Self vs. Probabilistic Stabilization.	ICDCS	2008	DBLP DOI BibTeX RDF
9	Mikolás Janota, Victoria Kuzina, Andrzej Wasowski	Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax.	MoDELS	2008	DBLP DOI BibTeX RDF
9	Jun Yin, Zening Wu	Fuzzy Synthetic Evaluation of Water Quality with Membership Functions Constructed by Linear Interpolation.	FSKD (1)	2008	DBLP DOI BibTeX RDF
9	Fatih Turkmen, Bruno Crispo	Performance evaluation of XACML PDP implementations.	SWS	2008	DBLP DOI BibTeX RDF	performance, access control, xacml, pdp
9	R. Sethi	Experiments with low power commodity hardware platforms for challenged networks.	COMSWARE	2008	DBLP DOI BibTeX RDF
9	Martín Soto, Alexis Ocampo, Jürgen Münch	The Secret Life of a Process Description: A Look into the Evolution of a Large Process Model.	ICSP	2008	DBLP DOI BibTeX RDF	V-Modell® XT, process modeling, model comparison, process model evolution, process model change
9	Per Bjesse	Word-Level Sequential Memory Abstraction for Model Checking.	FMCAD	2008	DBLP DOI BibTeX RDF
9	Fei Xie, Xindong Wu 0001, Xuegang Hu, Fei-Yue Wang 0001	Keyphrase Extraction from Chinese News Web Pages Based on Semantic Relations.	ISI Workshops	2008	DBLP DOI BibTeX RDF	word co-occurrence, semantic relation, keyphrase extraction, lexical chain, word similarity
9	Emma S. Buneci, Daniel A. Reed	Analysis of application heartbeats: learning structural and temporal features in time series data for identification of performance problems.	SC	2008	DBLP DOI BibTeX RDF
9	Henrik Eichenhardt, Ralph Müller-Pfefferkorn, Reinhard Neumann, Thomas William	User- and job-centric monitoring: Analysing and presenting large amounts of monitoring data.	GRID	2008	DBLP DOI BibTeX RDF
9	Viktor Krammer	An Effective Defense against Intrusive Web Advertising.	PST	2008	DBLP DOI BibTeX RDF
9	Majid A. Al-Taee, Mohammed Al-Rawi, Fadi M. Al-Ghawanmeh	Time-frequency analysis of the Arabian flute (Nay) tone applied to automatic music transcription.	AICCSA	2008	DBLP DOI BibTeX RDF
9	Yin Zhang 0006, Jiangqin Wu, Yueting Zhuang	Personalized Multimedia Retrieval in CADAL Digital Library.	PCM	2008	DBLP DOI BibTeX RDF	Multimedia Personalization, Digital Library, Cross-Media Retrieval
9	Michael Leuschel, Germán Vidal	Fast Offline Partial Evaluation of Large Logic Programs.	LOPSTR	2008	DBLP DOI BibTeX RDF
9	Elhadi M. Shakshuki, Richard Halliday	An algorithm explanation agent for the SHALEX system.	iiWAS	2008	DBLP DOI BibTeX RDF	algorithm explanation, visualization, HCI, trees, hypermedia
9	Bing Lv, Jianyong Wang 0001, Lizhu Zhou	High Confidence Fragment-Based Classification Rule Mining for Imbalanced HIV Data.	APWeb	2008	DBLP DOI BibTeX RDF
9	David Aspinall 0001, Ewen Denney, Christoph Lüth	A Tactic Language for Hiproofs.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
9	Mark A. Horsfield, Rohit Bakshi, Marco Rovaris, Maria Assunta Rocca, V. S. R. Dandamudi, Paola Valsasina, Elda Judica, F. Lucchini, Charles R. G. Guttmann, Maria Pia Sormani, Massimo Filippi	Incorporating Domain Knowledge Into the Fuzzy Connectedness Framework: Application to Brain Lesion Volume Estimation in Multiple Sclerosis.	IEEE Trans. Medical Imaging	2007	DBLP DOI BibTeX RDF
9	Alan Barbieri, Giulio Colavolpe	On the cramer-rao bound for carrier frequency estimation in the presence of phase noise.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
9	Jeffrey M. Voas	A Baker's Dozen: 13 Software Engineering Challenges.	IT Prof.	2007	DBLP DOI BibTeX RDF
9	Eric Goubault, Emmanuel Haucourt	Components of the Fundamental Category II.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18A20, 18A22, 18A32, 18A40
9	Joffroy Beauquier, Sylvie Delaët, Shlomi Dolev, Sébastien Tixeuil	Transient fault detectors.	Distributed Comput.	2007	DBLP DOI BibTeX RDF	Fault detectors, Distributed systems, Self-stabilization, Transient faults
9	Ee Sian Neo, Kazuhito Yokoi, Shuuji Kajita, Kazuo Tanie	Whole-Body Motion Generation Integrating Operator's Intention and Robot's Autonomy in Controlling Humanoid Robots.	IEEE Trans. Robotics	2007	DBLP DOI BibTeX RDF
9	Mihir K. Chakraborty	Pawlak's Landscaping with Rough Sets.	Trans. Rough Sets	2007	DBLP DOI BibTeX RDF
9	Jerzy W. Grzymala-Busse, Zdzislaw S. Hippe, Teresa Mroczek	Deriving Belief Networks and Belief Rules from Data: A Progress Report.	Trans. Rough Sets	2007	DBLP DOI BibTeX RDF	belief rules, BeliefSEEKER, belief networks
9	Siriwan Suebnukarn, Peter Haddawy	COMET: A Collaborative Tutoring System for Medical Problem-Based Learning.	IEEE Intell. Syst.	2007	DBLP DOI BibTeX RDF	Bayesian networks, intelligent tutoring systems, empirical evaluation, problem-based learning, computer-supported collaborative learning, medicine
9	Tai-Pang Wu, Chi-Keung Tang, Michael S. Brown, Heung-Yeung Shum	Natural shadow matting.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	Shadow removal and extraction, interactive extraction, shadow matting
9	Witold Pedrycz	Knowledge-Based Clustering in Computational Intelligence.	Challenges for Computational Intelligence	2007	DBLP DOI BibTeX RDF
9	Florent Bouchez, Alain Darte, Fabrice Rastello	On the complexity of spill everywhere under SSA form.	LCTES	2007	DBLP DOI BibTeX RDF	spill, complexity, register allocation, SSA form
9	Rajiv A. Ravindran, Michael L. Chu, Scott A. Mahlke	Compiler-managed partitioned data caches for low power.	LCTES	2007	DBLP DOI BibTeX RDF	hardware/software co-managed cache, instruction-driven cache management, partitioned cache, low-power, embedded processor
9	Brian Greskamp, Josep Torrellas	Paceline: Improving Single-Thread Performance in Nanoscale CMPs through Core Overclocking.	PACT	2007	DBLP DOI BibTeX RDF
9	Faezeh Ensan, Ebrahim Bagheri, Mohsen Kahani	The Application of Users' Collective Experience for Crafting Suitable Search Engine Query Recommendations.	CNSR	2007	DBLP DOI BibTeX RDF
9	Hélène Waeselynck, Zoltán Micskei, Minh Duc Nguyen, Nicolas Rivière	Mobile Systems from a Validation Perspective: a Case Study.	ISPDC	2007	DBLP DOI BibTeX RDF
9	Ed Huai-hsin Chi, Peter Pirolli, Shyong K. Lam	Aspects of Augmented Social Cognition: Social Information Foraging and Social Search.	HCI (15)	2007	DBLP DOI BibTeX RDF	information search, information foraging, social processes
9	Eunsuk Kang, Mark D. Aagaard	Improving the Usability of HOL Through Controlled Automation Tactics.	TPHOLs	2007	DBLP DOI BibTeX RDF
9	Tomoki Nishi, Yasutake Takahashi, Minoru Asada	Incremental behavior acquisition based on reliability of observed behavior recognition.	IROS	2007	DBLP DOI BibTeX RDF
9	Samuel Thibault, François Broquedis, Brice Goglin, Raymond Namyst, Pierre-André Wacrenier	An Efficient OpenMP Runtime System for Hierarchical Architectures.	IWOMP	2007	DBLP DOI BibTeX RDF	Hierarchical Thread Scheduling, Multi-Core, OpenMP, SMP, NUMA, Bubbles, Nested Parallelism
9	Martin Styner, Shun Xu, Mohammed El-Sayed, Guido Gerig	Correspondence Evaluation in Local Shape Analysis and Structural Subdivision.	ISBI	2007	DBLP DOI BibTeX RDF
9	Khairun Nisa Fachry, Jaap Kamps, Marijn Koolen, Junte Zhang	Using and Detecting Links in Wikipedia.	INEX	2007	DBLP DOI BibTeX RDF
9	Mir Sadek Ali, Mariano P. Consens, Shahan Khatchadourian	XML Retrieval by Improving Structural Relevance Measures Obtained from Summary Models.	INEX	2007	DBLP DOI BibTeX RDF
9	Jiahui Liu, Earl Wagner, Larry Birnbaum	Compare&contrast: using the web to discover comparable cases for news stories.	WWW	2007	DBLP DOI BibTeX RDF	comparable case, knowledge discovery, query formulation, intelligent information retrieval
9	Jens Wettach, Karsten Berns	3D Reconstruction for Exploration of Indoor Environments.	AMS	2007	DBLP DOI BibTeX RDF
9	Irena Mlúnková	A Journey towards More Efficient Processing of XML Data in (O)RDBMS.	CIT	2007	DBLP DOI BibTeX RDF
9	Laura Mereuta, Éric Renault	Checkpointing Aided Parallel Execution Model and Analysis.	HPCC	2007	DBLP DOI BibTeX RDF
9	Miki Namatame, Fusako Kusunoki, Shigenori Inagaki, Takao Terano	Practice! YUBIMOJI AIUEO: An Edutainment System of Japanese Hand Alphabets for Elementary School Children.	Asia International Conference on Modelling and Simulation	2007	DBLP DOI BibTeX RDF
9	Felix Breitenecker, Siegfried Wassertheurer, Nikolas Popper, Günther Zauner	Benchmarking of Simulation Systems--The ARGESIM Comparisons.	Asia International Conference on Modelling and Simulation	2007	DBLP DOI BibTeX RDF
9	Ashwini Kumar, Kang G. Shin	Towards context-aware wireless spectrum agility.	MobiCom	2007	DBLP DOI BibTeX RDF	cognitive and software-defined radios, spectrum agility, systems, dynamic spectrum access, cross-layer interactions
9	Utku Günay Acer, Shivkumar Kalyanaraman, Alhussein A. Abouzeid	Weak state routing for large scale dynamic networks.	MobiCom	2007	DBLP DOI BibTeX RDF	unstructured distributed hashing, weak states, routing algorithms, dynamic networks
9	Luca Paolino, Monica Sebillo, Genoveffa Tortora, Giuliana Vitiello	Framy- Visualizing Spatial Query Results on Mobile Interfaces.	W2GIS	2007	DBLP DOI BibTeX RDF	spatial visuali-zation methods, spatial functions, geographical information systems, Mobile devices
9	Kyle Jamieson, Hari Balakrishnan	PPR: partial packet recovery for wireless networks.	SIGCOMM	2007	DBLP DOI BibTeX RDF	synchronization, wireless, 802.11, zigbee, layering, ARQ
9	Samuel Thibault, Raymond Namyst, Pierre-André Wacrenier	Building Portable Thread Schedulers for Hierarchical Multiprocessors: The BubbleSched Framework.	Euro-Par	2007	DBLP DOI BibTeX RDF	Scheduling, Multi-Core, Threads, SMP, SMT, NUMA, Bubbles
9	Lansheng Han, Shuxia Han, Bing Peng, Varney Washington	Fuzzy Tracing the Source of Net-Virus.	ICFIE	2007	DBLP DOI BibTeX RDF	Net-virus, fuzzy trace, network security
9	Timo Weithöner, Thorsten Liebig, Marko Luther, Sebastian Böhm, Friedrich W. von Henke, Olaf Noppens	Real-World Reasoning with OWL.	ESWC	2007	DBLP DOI BibTeX RDF
9	Eija Koskivaara, Päivi Pihlaja	Service quality of Early Childhood Education web portals in Finnish municipalities.	I3E (2)	2007	DBLP DOI BibTeX RDF
9	Robert Unbehaun, Oliver Rose	Predicting cluster tool behavior with slow down factors.	WSC	2007	DBLP DOI BibTeX RDF
9	Bruno Tuffin, Pawan K. Choudhary, Christophe Hirel, Kishor S. Trivedi	Simulation versus analytic-numeric methods: illustrative examples.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	analytic-numeric methods, simulation, performance evaluation
9	Yiyu Yao, Yi Zeng 0001, Ning Zhong 0001	Supporting Literature Exploration with Granular Knowledge Structures.	RSFDGrC	2007	DBLP DOI BibTeX RDF	research support systems, literature exploration, granular knowledge structures, Granular computing, research methods
9	Philippe Gambette, Stéphane Vialette	On Restrictions of Balanced 2-Interval Graphs.	WG	2007	DBLP DOI BibTeX RDF	2-interval graphs, graph classes, quasi-line graphs, circular interval graphs, scheduling, bioinformatics, line graphs, claw-free graphs
9	Igor D. D. Curcio, Miikka Lundan	Human Perception of Lip Synchronization in Mobile Environment.	WOWMOM	2007	DBLP DOI BibTeX RDF
9	Jörg Ott, Mikko Juhani Pitkänen	DTN-based Content Storage and Retrieval.	WOWMOM	2007	DBLP DOI BibTeX RDF
9	Joe Bergin, Michael J. Clancy, Don Slater, Michael Goldweber, David B. Levine	Day one of the objects-first first course: what to do.	SIGCSE	2007	DBLP DOI BibTeX RDF	pedagogy, CS1, objects-first, course design
9	Giuliana Ramella, Gabriella Sanniti di Baja	Image Segmentation by Non-topological Erosion and Topological Expansion.	MDA	2007	DBLP DOI BibTeX RDF
9	Maria Frucci, Gabriella Sanniti di Baja	Object Detection in Watershed Partitioned Gray-Level Images.	MDA	2007	DBLP DOI BibTeX RDF
9	Cédric du Mouza, Witold Litwin, Philippe Rigaux	Dynamic storage balancing in a distributed spatial index.	GIS	2007	DBLP DOI BibTeX RDF	distributed index, storage balancing, kNN-query
9	Yung-Ming Li, Yi-Lin Lee	Pricing web 2.0 related services: peer production.	ICEC	2007	DBLP DOI BibTeX RDF	quality warranty, web 2.0, competition, pricing strategy, peer production, information goods
9	Mohammad Maifi Hasan Khan, Liqian Luo, Chengdu Huang, Tarek F. Abdelzaher	SNTS: Sensor Network Troubleshooting Suite.	DCOSS	2007	DBLP DOI BibTeX RDF	Distributed troubleshooting, Data mining, Sensor network
9	Barbara Demo, Alessio Angius	E-learning: Coupling Course Management Systems and Dynamic Taxonomies.	DEXA Workshops	2007	DBLP DOI BibTeX RDF
9	Oliver Buchtala, Bernhard Sick	Goodness of Fit: Measures for a Fuzzy Classifier.	FOCI	2007	DBLP DOI BibTeX RDF
9	Thomas Bartz-Beielstein, Mike Preuss	Experimental research in evolutionary computation.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	design and analysis of computer experiments, optimization, evolutionary computation, experimentation, computational intelligence
9	Kathryn Elliot, Mark Watson, Carman Neustaedter, Saul Greenberg	Location-dependent information appliances for the home.	Graphics Interface	2007	DBLP DOI BibTeX RDF	location-based design, ubiquitous computing, case studies, tangible interfaces, ambient displays, domestic technology