Search results for "hunting"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Paul André, m. c. schraefel, Jaime Teevan, Susan T. Dumais	Discovery is never by chance: designing for (un)serendipity.	Creativity & Cognition	2009	DBLP DOI BibTeX RDF	design suggestions, creativity, survey, serendipity, insight
15	Yakir Vizel, Orna Grumberg	Interpolation-sequence based model checking.	FMCAD	2009	DBLP DOI BibTeX RDF
15	M. Ani Hsieh, Ádám M. Halász, Spring Berman, Vijay Kumar 0001	Biologically inspired redistribution of a swarm of robots among multiple sites.	Swarm Intell.	2008	DBLP DOI BibTeX RDF	Bio-inspired control, Task allocation, Decentralized control, Robot swarms
15	Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer	Boosting interpolation with dynamic localized abstraction and redundancy removal.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	Interpolant, abstraction, redundancy removal
15	Annie Gentes, Aude Guyot-Mbodji, Isabelle M. Demeure	Gaming on the move: urban experience as a new paradigm for mobile pervasive game design.	MindTrek	2008	DBLP DOI BibTeX RDF	ad hoc wifi, urban anthropology, mobility, MANET, game design, pervasive games
15	Mac Schwager, Francesco Bullo, David Skelly, Daniela Rus	A ladybug exploration strategy for distributed adaptive coverage control.	ICRA	2008	DBLP DOI BibTeX RDF
15	Claudia Diamantini, Domenico Potena	Borderline detection by Bayes vector quantizers.	SAC	2008	DBLP DOI BibTeX RDF	bayes vector quantizer, borderline detection, SVM
15	Haiyang Qian, Steve Dispensa, Deep Medhi	Optimizing request denial and latency in an agent-based VPN architecture.	NOMS	2008	DBLP DOI BibTeX RDF
15	Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar	Survey on Directed Model Checking.	MoChArt	2008	DBLP DOI BibTeX RDF
15	Mingzhang Zuo, Xia Zhang, Qiang Liu	The Development of Search Engine in China and its Problems Revealed in Net Information Retrieval.	ISIP	2008	DBLP DOI BibTeX RDF	Internet, Search Engine, Retrieval
15	Dibyendu Das 0001, Manish Gupta, Rajan Ravindran, W. Shivani, P. Sivakeshava, Rishabh Uppal	Compiler-controlled extraction of computation-communication overlap in MPI applications.	IPDPS	2008	DBLP DOI BibTeX RDF
15	Jason Alexander, Andy Cockburn	An empirical characterisation of electronic document navigation.	Graphics Interface	2008	DBLP BibTeX RDF	document use, scrolling, event logging, document navigation
15	Senthilkumar G. Cheetancheri, John Mark Agosta, Karl N. Levitt, Shyhtsun Felix Wu, Jeff Rowe	Optimal Cost, Collaborative, and Distributed Response to Zero-Day Worms - A Control Theoretic Approach.	RAID	2008	DBLP DOI BibTeX RDF	Collaboration, Dynamic Programming, Worms, Control Theory
15	Monrawee Chainchainirattisai, Paul Janecek	Design and Implementation of a Multidimensional Zoomable Electronic Catalog.	CGIV	2007	DBLP DOI BibTeX RDF	electronic catalog visualization, Zoomable User Interface (ZUI), multidimensional visualization
15	Spring Berman, Ádám M. Halász, Vijay Kumar 0001, Stephen Pratt	Bio-Inspired Group Behaviors for the Deployment of a Swarm of Robots to Multiple Destinations.	ICRA	2007	DBLP DOI BibTeX RDF
15	Ádám M. Halász, M. Ani Hsieh, Spring Berman, Vijay Kumar 0001	Dynamic redistribution of a swarm of robots among multiple sites.	IROS	2007	DBLP DOI BibTeX RDF
15	Luke Bellamy, Damien Hutchinson, Jason Wells	User Perceptions and Acceptance of Benevolent Worms -- A Matter of Fear?	ACIS-ICIS	2007	DBLP DOI BibTeX RDF
15	Spring Berman, Ádám M. Halász, Vijay Kumar 0001	MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems.	HSCC	2007	DBLP DOI BibTeX RDF
15	Yi-Min Wang, Ming Ma	Strider Search Ranger: Towards an Autonomic Anti-Spam Search Engine.	ICAC	2007	DBLP DOI BibTeX RDF
15	Yukinori Tonosaki, Toru Ohira, Shigeru Tajima	Balancing the sticks with fluctuation and delay: Human vs Machine.	FOCI	2007	DBLP DOI BibTeX RDF
15	Xuemei Li	Interactive Educational Technologies for New Generations in China.	ICALT	2007	DBLP DOI BibTeX RDF
15	M. Carmen Juan Lizandra, Mariano Alcañiz Raya, Luciano Gamberini, Irene Zaragozá, Francesco Martino	Shared virtual environment (SVE): a framework for developing social games.	Advances in Computer Entertainment Technology	2007	DBLP DOI BibTeX RDF	games, pervasive games, social gaming, shared virtual environment
15	Rui-Ming Zhao, Dong-Ping Qian	Application of Genetic Algorithm in the Optimization of Water Pollution Control Scheme.	IITA	2007	DBLP DOI BibTeX RDF
15	Stefan Günther, Stefanie Neumann, Jessica Ahmed, Robert Preissner	Cellular Fingerprints: A Novel Concept for the Integration of Experimental Data and Compound-Target-Pathway Relations (Extended Abstract).	BSB	2007	DBLP DOI BibTeX RDF
15	Zhi-Hong Tao, Hans Kleine Büning, Lifu Wang	Direct Model Checking Matrix Algorithm.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	direct model checking (DMC), Kripke semantics structure, CTL logic, matrix algorithm
15	Andy M. Yip, Chris H. Q. Ding, Tony F. Chan	Dynamic Cluster Formation Using Level Set Methods.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	cluster intensity functions, cluster contours, partial differential equations, level set methods, kernel density estimation, Dynamic clustering
15	Mikhail I. Rabinovich, Ramón Huerta, Pablo Varona, Valentin S. Afraimovich	Generation and reshaping of sequences in neural systems.	Biol. Cybern.	2006	DBLP DOI BibTeX RDF
15	Conghua Zhou, Decheng Ding	Improved SAT Based Bounded Model Checking.	TAMC	2006	DBLP DOI BibTeX RDF
15	Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer	Stepping forward with interpolants in unbounded model checking.	ICCAD	2006	DBLP DOI BibTeX RDF
15	Thomas Schmickl, Karl Crailsheim	Bubbleworld.Evo: Artificial Evolution of Behavioral Decisions in a Simulated Predator-Prey Ecosystem.	SAB	2006	DBLP DOI BibTeX RDF
15	Doran Chakraborty, Sandip Sen	Teaching new teammates.	AAMAS	2006	DBLP DOI BibTeX RDF	coordination, training, knowledge transfer
15	Joe Saur	Review of "Find the Bug: A Book of Incorrect Programs by Adam Barr"; Pearson Education, 2004, ISBN 0321223918.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
15	Tetsuya Asanome, Toshiaki Nonaka, Yasunori Endo, Shin-ichi Nakazawa, Hiroshi Yoshikawa	Evaluation of Control Performance of Multi-stage Fuzzy Reasoning in Anti-lock Braking System for Railways Using Fuzzy Reasoning.	MDAI	2005	DBLP DOI BibTeX RDF
15	Liang-Kao Chang, Kuo-Yu Liu, Chien-An Wu, Herng-Yow Chen	Sharing Web-Based Multimedia Learning Objects Using NNTP News Architecture.	ICALT	2005	DBLP DOI BibTeX RDF
15	Andy M. Yip, Chris H. Q. Ding, Tony F. Chan	Dynamic Cluster Formation Using Level Set Methods.	PAKDD	2005	DBLP DOI BibTeX RDF
15	Chuan-Min Lee, Ling-Ju Hung, Maw-Shang Chang, Chuan Yi Tang	An Improved Algorithm for the Maximum Agreement Subtree Problem.	BIBE	2004	DBLP DOI BibTeX RDF	maximum agreement sub-tree, leaf-labelled tree, k-dimensional range search tree, k-dimensional binary search tree, Evolutionary tree
15	Fang Yu 0001, Bow-Yaw Wang	Toward Unbounded Model Checking for Region Automata.	ATVA	2004	DBLP DOI BibTeX RDF	Region automata, Real-time systems, Model checking, Verification, Induction, BMC
15	Jeong-Dan Choi, Byung-Tae Jang, Chi-Jeong Hwang	Collaborative Interactions on 3D Display for Multi-user Game Environments.	APCHI	2004	DBLP DOI BibTeX RDF
15	John D. King, Yuefeng Li	Web Based Collection Selection Using Singular Value Decomposition.	Web Intelligence	2003	DBLP DOI BibTeX RDF
15	Shahram Izadi, Mike Fraser 0001, Steve Benford, Martin Flintham, Chris Greenhalgh, Tom Rodden, Holger Schnädelbach	Citywide: Supporting Interactive Digital Experiences Across Physical Space.	Pers. Ubiquitous Comput.	2002	DBLP DOI BibTeX RDF	Augmented reality, Virtual environments, Mobile applications, Heterogeneous devices
15	Greg Hoglund, Gary McGraw	Point/Counterpoint: Security Band-Aids: More Cost-Effective than "Secure" Coding / Building Secure Software: Better than Protecting Bad Software.	IEEE Softw.	2002	DBLP DOI BibTeX RDF
15	Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan	Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking.	CAV	2002	DBLP DOI BibTeX RDF
15	Gianpiero Cabodi, Paolo Camurati, Stefano Quer	Can BDDs compete with SAT solvers on bounded model checking?	DAC	2002	DBLP DOI BibTeX RDF	model checking, formal verification, SAT, BDDs
15	Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi	Benefits of Bounded Model Checking at an Industrial Setting.	CAV	2001	DBLP DOI BibTeX RDF
15	Satoshi Sato	Automated Editing of Hypertext Résumé from the World Wide Web.	SAINT	2001	DBLP DOI BibTeX RDF
15	Owen de Kretser, Alistair Moffat	Needles and Haystacks: A Search Engine for Personal Information Collections.	ACSC	2000	DBLP DOI BibTeX RDF
15	Antoine Manzanera, Thierry M. Bernard, Françoise J. Prêteux, Bernard Longuet	Ultra-Fast Skeleton Based on an Isotropic Fully Parallel Algorithm.	DGCI	1999	DBLP DOI BibTeX RDF	Fully Parallel Algorithm, Isotropy, Median Axis, Boolean Complexity, Skeleton, Thinning, Logic Minimization, Discrete Topology
15	Eric Jul	Migrants: self-moving object clusters.	ACM SIGOPS European Workshop	1996	DBLP DOI BibTeX RDF