Search results for "DART"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Zvonimir Rakamaric, Vishwanath Raman	The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder and its Applications.	ACM SIGSOFT Softw. Eng. Notes	2015	DBLP DOI BibTeX RDF
19	Andreas Brandstädt, Raffaele Mosca	Maximum Weight Independent Sets in Odd-Hole-Free Graphs Without Dart or Without Bull.	Graphs Comb.	2015	DBLP DOI BibTeX RDF
19	Lucia Yáñez-Rausell, Zbynek Malenovský, Miina Rautiainen, Jan G. P. W. Clevers, Petr Lukes, Jan Hanus, Michael E. Schaepman	Estimation of Spruce Needle-Leaf Chlorophyll Content Based on DART and PARAS Canopy Reflectance Models.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2015	DBLP DOI BibTeX RDF
19	Asim Banskota, Shawn P. Serbin, Randolph H. Wynne, Valerie A. Thomas, Michael J. Falkowski, Nilam Kayastha, Jean-Philippe Gastellu-Etchegorry, Philip A. Townsend	An LUT-Based Inversion of DART Model to Estimate Forest LAI from Hyperspectral Data.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2015	DBLP DOI BibTeX RDF
19	K. V. Rashmi, Ran Gilad-Bachrach	DART: Dropouts meet Multiple Additive Regression Trees.	CoRR	2015	DBLP BibTeX RDF
19	Huan Zhou 0005, Yousri Mhedheb, Kamran Idrees, Colin W. Glass, José Gracia, Karl Fürlinger, Jie Tao 0001	DART-MPI: An MPI-based Implementation of a PGAS Runtime System.	CoRR	2015	DBLP BibTeX RDF
19	Erik Meijer 0001, Kevin Millikin, Gilad Bracha	Spicing Up Dart with Side Effects.	ACM Queue	2015	DBLP DOI BibTeX RDF
19	Lei Zhou, Karl Fürlinger	DART-CUDA: A PGAS Runtime System for Multi-GPU Systems.	ISPDC	2015	DBLP DOI BibTeX RDF
19	Lars Bak	How Dart learned from past object-oriented systems (keynote).	SPLASH (Companion Volume)	2015	DBLP DOI BibTeX RDF
19	Erik Ernst, Anders Møller, Mathias Schwarz, Fabio Strocco	Message safety in Dart.	DLS	2015	DBLP DOI BibTeX RDF
19	Belma Dogdas, Antong Chen, Saurin Mehta, Tosha Shah, Barbara Robinson, Dahai Xue, Alexa Gleason, L. David Wise, Randy Crawford, Irene Pak, Francisco Cruz 0004, Sangeetha Somayajula, Ansu Bagchi, Colena Johnson, Britta Mattson, Christopher T. Winkelmann	Characterization of bone abnormalities from micro-CT images for evaluating drug toxicity in developmental and reproductive toxicology (DART) studies.	ISBI	2015	DBLP DOI BibTeX RDF
19	Hong Zhang, Zhibo Sun, Zixia Liu, Chen Xu, Liqiang Wang	Dart: A Geographic Information System on Hadoop.	CLOUD	2015	DBLP DOI BibTeX RDF
19	Chi-Huang Hung, Ying-Wen Bai, Jen-Hung Yang	Design and implementation of a virtual electronic dart with a tablet system.	ICCE	2015	DBLP DOI BibTeX RDF
19	Korlakai Vinayak Rashmi, Ran Gilad-Bachrach	DART: Dropouts meet Multiple Additive Regression Trees.	AISTATS	2015	DBLP BibTeX RDF
19	Kyoung-Won Lee, Dong-Wan Choi, Chin-Wan Chung	DART+: Direction-aware bichromatic reverse k nearest neighbor query processing in spatial databases.	J. Intell. Inf. Syst.	2014	DBLP DOI BibTeX RDF
19	Danyao Wang, Charles Lo, Jasmina Vasiljevic, Natalie D. Enright Jerger, J. Gregory Steffan	DART: A Programmable Architecture for NoC Simulation on FPGAs.	IEEE Trans. Computers	2014	DBLP DOI BibTeX RDF
19	Syed M. A. H. Jafri, Stanislaw J. Piestrak, Olivier Sentieys, Sébastien Pillement	Design of the coarse-grained reconfigurable architecture DART with on-line error detection.	Microprocess. Microsystems	2014	DBLP DOI BibTeX RDF
19	Hsiu-Chuan Shih, Pei-Wen Luo, Jen-Chieh Yeh, Shu-Yen Lin, Ding-Ming Kwai, Shih-Lien Lu, Andre Schaefer, Cheng-Wen Wu	DArT: A Component-Based DRAM Area, Power, and Timing Modeling Tool.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2014	DBLP DOI BibTeX RDF
19	Chihiro Obayashi, Tomoya Tamei, Tomohiro Shibata	Assist-as-needed robotic trainer based on reinforcement learning and its application to dart-throwing.	Neural Networks	2014	DBLP DOI BibTeX RDF
19	Francesco Schiavone, Concetta Metallo, Rocco Agrifoglio	Extending the DART model for social media.	Int. J. Technol. Manag.	2014	DBLP DOI BibTeX RDF
19	Chris Strom	Dart 1 for Everyone - Fast, Flexible, Structured Code for the Modern Web.		2014	RDF
19	Antal Nagy	Smoothing Filters in the DART Algorithm.	IWCIA	2014	DBLP DOI BibTeX RDF
19	Huan Zhou 0005, Yousri Mhedheb, Kamran Idrees, Colin W. Glass, José Gracia, Karl Fürlinger	DART-MPI: An MPI-based Implementation of a PGAS Runtime System.	PGAS	2014	DBLP DOI BibTeX RDF
19	Tanner Schmidt, Richard A. Newcombe, Dieter Fox	DART: Dense Articulated Real-Time Tracking.	Robotics: Science and Systems	2014	DBLP BibTeX RDF
19	Mladen Cudanov, Diana Parlic, Adam Sofronijevic	Proposed framework for gamifying information retrieval: case of DART - European research theses portal.	TEEM	2014	DBLP DOI BibTeX RDF
19	Chi-Chiang Huang, Rong-Hao Liang, Li-Wei Chan 0001, Bing-Yu Chen 0004	Dart-It: interacting with a remote display by throwing your finger touch.	SIGGRAPH Posters	2014	DBLP DOI BibTeX RDF
19	Chi-Chiang Huang, Rong-Hao Liang, Li-Wei Chan 0001, Bing-Yu Chen 0004	Dart-it: interacting with a remote display by throwing your finger touch.	SIGGRAPH Emerging Technologies	2014	DBLP DOI BibTeX RDF
19	John McCutchan, Haitao Feng, Nicholas D. Matsakis, Zachary Anderson, Peter Jensen	A SIMD programming model for dart, javascript, and other dynamically typed scripting languages.	WPMVP@PPoPP	2014	DBLP DOI BibTeX RDF
19	Chi-Huang Hung, Ying-Wen Bai, Jen-Hung Yang	Design and implementation of a virtual electronic dart system.	GCCE	2014	DBLP DOI BibTeX RDF
19	Katsunobu Imai, Takahiro Hatsuda, Victor Poupet, Kota Sato	A 6-state Universal Semi-totalistic Cellular Automaton on Kite and Dart Penrose Tilings.	Fundam. Informaticae	2013	DBLP DOI BibTeX RDF
19	Junki Nakagawa, Qi An, Yuki Ishikawa, Hiroyuki Oka, Kaoru Takakusaki, Hiroshi Yamakawa, Atsushi Yamashita, Hajime Asama	Analysis of Joint Correlation between Arm and Lower Body in Dart Throwing Motion.	SMC	2013	DBLP DOI BibTeX RDF
19	Kyoung-Won Lee, Dong-Wan Choi, Chin-Wan Chung	DART: An Efficient Method for Direction-Aware Bichromatic Reverse k Nearest Neighbor Queries.	SSTD	2013	DBLP DOI BibTeX RDF
19	Tiangang Yin, Jean-Philippe Gastellu-Etchegorry, Eloi Grau, Nicolas Lauret, Jeremy Rubio	Simulating satellite waveform Lidar with DART model.	IGARSS	2013	DBLP DOI BibTeX RDF
19	Martin Kochol, Riste Skrekovski	Brooksʼ Theorem for generalized dart graphs.	Inf. Process. Lett.	2012	DBLP DOI BibTeX RDF
19	Andreas Brandstädt, Raffaele Mosca	Maximum Weight Independent Sets in Odd-Hole-Free Graphs Without Dart or Without Bull	CoRR	2012	DBLP BibTeX RDF
19	Katsunobu Imai, Takahiro Hatsuda, Victor Poupet, Kota Sato	A Universal Semi-totalistic Cellular Automaton on Kite and Dart Penrose Tilings	AUTOMATA & JAC	2012	DBLP DOI BibTeX RDF
19	Manu Basavaraju, L. Sunil Chandran, T. Karthick	Maximum weight independent sets in hole- and dart-free graphs.	Discret. Appl. Math.	2012	DBLP DOI BibTeX RDF
19	Martin Palkovic, Jeroen Declerck, Prabhat Avasare, Miguel Glassee, Andy Dewilde, Praveen Raghavan, Antoine Dejonghe, Liesbet Van der Perre	DART - a High Level Software-Defined Radio Platform Model for Developing the Run-Time Controller.	J. Signal Process. Syst.	2012	DBLP DOI BibTeX RDF
19	Amirali Salehi-Abari, Tony White	Dart: a Distributed Analysis of Reputation and Trust Framework.	Comput. Intell.	2012	DBLP DOI BibTeX RDF
19	Wim van Aarle, Kees Joost Batenburg, Jan Sijbers	Automatic Parameter Estimation for the Discrete Algebraic Reconstruction Technique (DART).	IEEE Trans. Image Process.	2012	DBLP DOI BibTeX RDF
19	Robert Goeddel, Edwin Olson	DART: A particle-based method for generating easy-to-follow directions.	IROS	2012	DBLP DOI BibTeX RDF
19	Yasuo Sato, Seiji Kajihara, Tomokazu Yoneda, Kazumi Hatayama, Michiko Inoue, Yukiya Miura, Satosni Untake, Takumi Hasegawa, Motoyuki Sato, Kotaro Shimamura	DART: Dependable VLSI test architecture and its implementation.	ITC	2012	DBLP DOI BibTeX RDF
19	Masahiro Ogawa, Hideo Fukamachi, Ryuji Funayama, Toshiki Kindo	CYKLS: Detect Pedestrian's Dart Focusing on an Appearance Change.	ECCV Workshops (2)	2012	DBLP DOI BibTeX RDF
19	Tiangang Yin, Jeremy Rubio, Jean-Philippe Gastellu-Etchegorry, Eloi Grau, Nicolas Lauret	Direction discretization for radiative transfer modeling: An introduction to the new direction model of dart.	IGARSS	2012	DBLP DOI BibTeX RDF
19	Junghyun Kwon, Samuel Moon-Ho Song, Brian Kauke, Douglas P. Boyd	Image reconstruction using projections from a few views by discrete steering combined with DART.	Computational Imaging	2012	DBLP DOI BibTeX RDF
19	Karan Dhiman, Benson Quach	Google's Go and Dart: parallelism and structured web development for better analytics and applications.	CASCON	2012	DBLP BibTeX RDF
19	Yan Jiao, Katherine Lawler, Gargi S. Patel, Arnie Purushotham, Annete F. Jones, Anita Grigoriadis, Andrew Tutt, Tony C. Ng, Andrew E. Teschendorff	DART: Denoising Algorithm based on Relevance network Topology improves molecular pathway activity inference.	BMC Bioinform.	2011	DBLP DOI BibTeX RDF
19	Marcello Caleffi, Luigi Paura	M-DART: multi-path dynamic address routing.	Wirel. Commun. Mob. Comput.	2011	DBLP DOI BibTeX RDF
19	Bob van Limburg	Visiting Suriname, Using Dart to Analyze a Visitor's Perspective in a Cocreation Environment.	J. Inf. Technol. Tour.	2011	DBLP DOI BibTeX RDF
19	Kees Joost Batenburg, Jan Sijbers	DART: A Practical Reconstruction Algorithm for Discrete Tomography.	IEEE Trans. Image Process.	2011	DBLP DOI BibTeX RDF
19	Danyao Wang, Natalie D. Enright Jerger, J. Gregory Steffan	DART: A programmable architecture for NoC simulation on FPGAs.	NOCS	2011	DBLP DOI BibTeX RDF
19	Martin Palkovic, Jeroen Declerck, Praveen Raghavan, Antoine Dejonghe, Liesbet Van der Perre	Dart - a high level software-defined radio platform model for developing the run-time controller.	ICASSP	2011	DBLP DOI BibTeX RDF
19	Xi Fang, Dejun Yang, Guoliang Xue	DART: Directional Anypath Routing in Wireless Mesh Networks.	MASS	2011	DBLP DOI BibTeX RDF
19	Ciprian Docan, Manish Parashar, Scott Klasky	Enabling high-speed asynchronous data extraction and transfer using DART.	Concurr. Comput. Pract. Exp.	2010	DBLP DOI BibTeX RDF
19	Martin Kochol, Riste Skrekovski	Dichotomy for Coloring of Dart Graphs.	IWOCA	2010	DBLP DOI BibTeX RDF
19	Sungbin Cho, Kisoo Ham	Dart.	SIGGRAPH ASIA (Computer Animation Festival)	2010	DBLP DOI BibTeX RDF
19	Ji-Yong Jung, Tae-Hyung Kim	DaRT++: Dashboard for Reengineering Tools.	SPLC Workshops	2010	DBLP BibTeX RDF
19	Marc van Dijk, Alexandre M. J. J. Bonvin	3D-DART: a DNA structure modelling server.	Nucleic Acids Res.	2009	DBLP DOI BibTeX RDF
19	David Cline, Stefan Jeschke, K. White, Anshuman Razdan, Peter Wonka	Dart Throwing on Surfaces.	Comput. Graph. Forum	2009	DBLP DOI BibTeX RDF
19	Eloi Grau, Jean-Philippe Gastellu-Etchegorry, Ferran Gascon, Jeremy Rubio, Aurore Brut	Earth-Atmosphere radiative transfer in DART model.	WHISPERS	2009	DBLP DOI BibTeX RDF
19	Sébastien Fourey, Luc Brun	Connecting Walks and Connecting Dart Sequences in n-D Combinatorial Pyramids.	IWCIA Special Track on Applications	2009	DBLP BibTeX RDF
19	Magnus Linderoth, Anders Robertsson, Kalle Åström, Rolf Johansson 0001	Vision Based Tracker for Dart Catching Robot.	SyRoCo	2009	DBLP DOI BibTeX RDF
19	Thava Iyer, Roksana Boreli, Golam Sarwar, Christoph Dwertmann	DART: Enhancing Data Acceleration with Compression for Satellite Links.	GLOBECOM	2009	DBLP DOI BibTeX RDF
19	Koushik Sen	DART: Directed Automated Random Testing.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
19	Sébastien Pillement, Olivier Sentieys, Raphaël David	DART: A Functional-Level Reconfigurable Architecture for High Energy Efficiency.	EURASIP J. Embed. Syst.	2008	DBLP DOI BibTeX RDF
19	Jiun-Yan Wu, Hongyu Sun, Ann P. O'Rourke, Shane M. Huebner, Peter S. Rahko, James A. Will, John G. Webster	Taser Blunt Probe Dart-To-Heart Distance Causing Ventricular Fibrillation in Pigs.	IEEE Trans. Biomed. Eng.	2008	DBLP DOI BibTeX RDF
19	Stephen T. Bond, Caroline Ingram, Steve Ryan	Reuse, repurposing and learning design - Lessons from the DART project.	Comput. Educ.	2008	DBLP DOI BibTeX RDF
19	Moira Paterson, David Lindsay, Ann Monotti, Anne Chin	DART: a new missile in Australia's e-research strategy.	Online Inf. Rev.	2007	DBLP DOI BibTeX RDF
19	Jakob Eriksson, Michalis Faloutsos, Srikanth V. Krishnamurthy	DART: dynamic address routing for scalable ad hoc and mesh networks.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	routing, ad hoc networks, scalability, wireless networks, mesh networks
19	Jiun-Yan Wu, Hongyu Sun, Ann P. O'Rourke, Shane M. Huebner, Peter S. Rahko, James A. Will, John G. Webster	Taser Dart-to-Heart Distance That Causes Ventricular Fibrillation in Pigs.	IEEE Trans. Biomed. Eng.	2007	DBLP DOI BibTeX RDF
19	Vladimir G. Deineko, Gerhard J. Woeginger	Some Problems around Traveling Salesmen, Dart Boards, and Euro-coins.	Bull. EATCS	2006	DBLP BibTeX RDF
19	Bettina Fazzinga, Sergio Flesca, Filippo Furfaro, Francesco Parisi	DART: A Data Acquisition and Repairing Tool.	EDBT Workshops	2006	DBLP DOI BibTeX RDF
19	Z. Wu, Y. Mao, H. Chen, Z. Xu	An ontology and context based client model for dart information grid.	Int. J. High Perform. Comput. Netw.	2005	DBLP DOI BibTeX RDF
19	Michael Amberg, Sonja Fischer, Manuela Schröder	Analysis of User Acceptance for Web Based Aptitude Tests with DART.	AMCIS	2005	DBLP BibTeX RDF
19	Jian Wu 0001, Zhaohui Wu 0001	DART-Man: a management platform for Web services based on semantic Web technologies.	CSCWD (2)	2005	DBLP DOI BibTeX RDF
19	Cláudia Linhares Sales, Frédéric Maffray	On dart-free perfectly contractile graphs.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
19	Meiyu Fang, Zhaohui Wu 0001, Huajun Chen, Yuxin Mao, Guozhou Zheng, Zhao Xu, Xiaojun Wu	Building a Courseware Grid upon Dart Database Grid.	GCC Workshops	2004	DBLP DOI BibTeX RDF
19	Blair MacIntyre, Maribeth Gandy, Jay David Bolter, Steven Dow, Brendan Hannigan	DART: The Designer's Augmented Reality Toolkit.	ISMAR	2003	DBLP DOI BibTeX RDF
19	Michael Amberg, Markus Hirschmeier, Deniz Schobert	DART - Ein Ansatz zur Analyse und Evaluierung der Benutzerakzeptanz.	Wirtschaftsinformatik (1)	2003	DBLP BibTeX RDF
19	Chang Huang, Zhaohui Wu 0001, Guozhou Zheng, Xiaojun Wu	Dart: A Framework for Grid-Based Database Resource Access and Discovery.	GCC (2)	2003	DBLP DOI BibTeX RDF
19	Jean-Philippe Gastellu-Etchegorry, Emmanuel Martin, Ferran Gascon, Alice Belot, Marie-José Lefèvre, P. Boyat, Pierre Gentine, G. Ader, J. Deschard, P. Torruella, K. Chourak	DART: 3-D model of optical satellite images and radiation budget.	IGARSS	2003	DBLP DOI BibTeX RDF
19	Emmanuel Martin, Jean-Philippe Gastellu-Etchegorry, R. Dhalluin	Model intercomparison for validating the 2003 DART model.	IGARSS	2003	DBLP DOI BibTeX RDF
19	Sara Reese Hedberg	DART: Revolutionizing Logistics Planning.	IEEE Intell. Syst.	2002	DBLP DOI BibTeX RDF
19	Vasek Chvátal, Jean Fonlupt, L. Sun, Abdelhamid Zemirline	Recognizing Dart-Free Perfect Graphs.	SIAM J. Comput.	2002	DBLP DOI BibTeX RDF
19	Lunjin Lu	On Dart-Zobel Algorithm for Testing Regular Type Inclusion.	ACM SIGPLAN Notices	2001	DBLP DOI BibTeX RDF
19	Robert W. Fathauer	Fractal tilings based on kite- and dart-shaped prototiles.	Comput. Graph.	2001	DBLP DOI BibTeX RDF
19	Robert Babilon	3-colourability of Penrose kite-and-dart tilings.	Discret. Math.	2001	DBLP DOI BibTeX RDF
19	Branko Grünbaum, Geoffrey C. Shephard	Isohedra with dart-shaped faces.	Discret. Math.	2001	DBLP DOI BibTeX RDF
19	Eun-Il Cho, Sung-Hyon Myaeng	Visualization of Retrieval Results using DART.	RIAO	2000	DBLP BibTeX RDF
19	Vasek Chvátal, Jean Fonlupt, L. Sun, Abdelhamid Zemirline	Recognizing dart-free perfect graphs.	SODA	2000	DBLP BibTeX RDF
19	Cláudia Linhares Sales, Frédéric Maffray	On Dart-Free Perfectly Contractile Graphs. Extended Abstract.	LATIN	2000	DBLP DOI BibTeX RDF
19	J. Zimmermann, S. Euchner, M. Schissler, M. Lange	Die verteilte, objektorientierte Anwendung DaRT: Entwurf, Realisierung und Einsatzerfahrungen.	EMISA	1999	DBLP BibTeX RDF
19	Ming Tan, Hao Xu, Johnson Lee	DART: A Decision Support System for Cellular Networks Usage Analysis.	IC-AI	1999	DBLP BibTeX RDF
19	Lunjin Lu, John G. Cleary	On Dart-Zobel Algorithm for Testing Regular Type Inclusion	CoRR	1998	DBLP BibTeX RDF
19	Robert J. Walsh	DART: Fast Application-level Networking via Data-copy Avoidance.	Digit. Tech. J.	1998	DBLP BibTeX RDF
19	Lisandro Zambenedetti Granville, Maria Janilce B. Almeida	Specification of E-LOTOS Systems in the E-DART Environment.	COMPSAC	1998	DBLP DOI BibTeX RDF
19	Robert J. Walsh	DART: fast application-level networking via data-copy avoidance.	IEEE Netw.	1997	DBLP DOI BibTeX RDF
19	Masaki Aono, Paolo Denti, David E. Breen, Michael J. Wozny	Fitting a woven cloth model to a curved surface: dart insertion.	IEEE Computer Graphics and Applications	1996	DBLP DOI BibTeX RDF
19	Victoria Dickenson	The Silver Dart Project - Analysis of a Partnership.	ICHIM, Hands on: Hypermedia and Interactivity in Museums	1995	DBLP BibTeX RDF
19	Stephen E. Cross, Richard Estrada	DART: an example of accelerated evolutionary development.	RSP	1994	DBLP DOI BibTeX RDF