Search results for "B-rep"

Hits ?▲	Authors	Title	Venue	Year	Link
16	Siu-Wing Cheng, Yoshio Okamoto, Otfried Cheong	Theory and Applications of Geometric Optimization (NII Shonan Meeting 2016-9).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
16	Takuro Fukunaga, R. Ravi 0001, László A. Végh	Current Trends in Combinatorial Optimization (NII Shonan Meeting 2016-7).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
16	George H. L. Fletcher, Taro Takaguchi, Yuichi Yoshida	Analytics on complex networks: scalable solutions for empirical questions (NII Shonan Meeting 2016-1).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
16	Tadahiro Taniguchi, Emre Ugur, George Dimitri Konidaris	Cognitive Development and Symbol Emergence in Humans and Robots (NII Shonan Meeting 2016-14).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
16	Yamine Aït Ameur, Shin Nakajima 0001, Dominique Méry	Implicit and explicit semantics integration in proof based developments of discrete systems (NII Shonan Meeting 2016-16).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
16	Takayuki Itoh, Kim Marriott, Falk Schreiber, Uwe Wössner	Immersive Analytics: A new multidisciplinary initiative to explore future interaction technologies for data analytics (NII Shonan Meeting 2016-2).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
16	Naoki Kobayashi 0001, Luke Ong, Igor Walukiewicz	Higher-Order Model Checking (NII Shonan Meeting 2016-4).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
16	Christian Sandor, Dieter Schmalstieg, J. Edward Swan II	Perception in Augmented Reality (NII Shonan Meeting 2016-15).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
16	Sonia Haiduc, Takashi Kobayashi 0001, Michele Lanza, Andrian Marcus	Mining & Modeling Unstructured Data in Software - Challenges for the Future (NII Shonan Meeting 2016-3).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
16	Andrea Schafferhans, Seán I. O'Donoghue, Haruki Nakamura	Web-based Molecular Graphics (NII Shonan Meeting 2016-12).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
16	Sanjay Madria, Takahiro Hara, Cyrus Shahabi, Calton Pu	Big Data: Challenges and Opportunities for Disaster Recovery (NII Shonan Meeting 2016-6).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
16	Ravindran Kannan, Michael W. Mahoney, David P. Woodruff	Recent Advances in Randomized Numerical Linear Algebra (NII Shonan Meeting 2016-10).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
16	Kenji Tei, Nicolás D'Ippolito, Paola Inverardi	Controlled Adaptation of Self-adaptive Systems (CASaS) (NII Shonan Meeting 2016-8).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
16	Jean-Yves Marion, Akira Mori, Mizuhito Ogawa	Low level code analysis and applications to computer security (NII Shonan Meeting 2015-4).	NII Shonan Meet. Rep.	2015	DBLP BibTeX RDF
16	Laurent Amsaleg, Michael E. Houle, Vincent Oria, Arthur Zimek	Dimensionality and Scalability II: Hands-On Intrinsic Dimensionality (NII Shonan Meeting 2015-9).	NII Shonan Meet. Rep.	2015	DBLP BibTeX RDF
16	Jordan L. Boyd-Graber, Hal Daumé III, Yusuke Miyao	Synchronous Machine Translation (NII Shonan Meeting 2015-10).	NII Shonan Meet. Rep.	2015	DBLP BibTeX RDF
16	Wim Vanderbauwhede, Sven-Bodo Scholz, Tetsuya Takemi	Putting Heterogeneous High-Performance Computing at the Fingertips of Domain Experts (NII Shonan Meeting 2015-18).	NII Shonan Meet. Rep.	2015	DBLP BibTeX RDF
16	Yoshiki Kinoshita, Bengt Nordström	Logical analysis of descriptions and their presentations - a computational logic approach (NII Shonan Meeting 2015-2).	NII Shonan Meet. Rep.	2015	DBLP BibTeX RDF
16	Rafael E. Banchs, Sakriani Sakti, Etsuo Mizukami	The Future of Human-Robot Spoken Dialogue: from Information Services to Virtual Assistants (NII Shonan Meeting 2015-7).	NII Shonan Meet. Rep.	2015	DBLP BibTeX RDF
16	Atsushi Igarashi, Andrzej S. Murawski, Nikos Tzevelekos	Semantics and Verification of Object-Oriented Languages (NII Shonan Meeting 2015-13).	NII Shonan Meet. Rep.	2015	DBLP BibTeX RDF
16	Cyrille Artho, Einar Broch Johnsen, Martin Leucker, Keiko Nakata 0001	Static analysis meets runtime verification (NII Shonan Meeting 2015-5).	NII Shonan Meet. Rep.	2015	DBLP BibTeX RDF
16	Daisuke Ishii, Kohei Suenaga, Walid Taha	Validated Numerics Meets Reachability Analysis for CPS Design (NII Shonan Meeting 2015-14).	NII Shonan Meet. Rep.	2015	DBLP BibTeX RDF
16	Marco Gaboardi, Vivek Nigam, Tachio Terauchi	Logic and Verification Methods in Security and Privacy (NII Shonan Meeting 2015-16).	NII Shonan Meet. Rep.	2015	DBLP BibTeX RDF
16	Takayuki Itoh, Karsten Klein 0001, Giuseppe Liotta	Big Graph Drawing: Metrics and Methods (NII Shonan Meeting 2015-1).	NII Shonan Meet. Rep.	2015	DBLP BibTeX RDF
16	Seok-Hee Hong 0001, Koji Koyamada, Kwan-Liu Ma	Big Data Visual Analytics (NII Shonan Meeting 2015-17).	NII Shonan Meet. Rep.	2015	DBLP BibTeX RDF
16	Hiroshi Maruyama, Günter Müllerr, Kazuo Furuta	Systems Resilience – Bridging the Gap Between Social and Mathematical (NII Shonan Meeting 2015-3).	NII Shonan Meet. Rep.	2015	DBLP BibTeX RDF
16	Lorenza Mondada, Aug Nishizawa, Mayumi Bono	Instruction and instructed action: Embodied reciprocity in interaction (NII Shonan Meeting 2015-6).	NII Shonan Meet. Rep.	2015	DBLP BibTeX RDF
16	Meiyappan Nagappan, Ahmed E. Hassan, Yasutaka Kamei	Mobile App Store Analytics (NII Shonan Meeting 2015-15).	NII Shonan Meet. Rep.	2015	DBLP BibTeX RDF
16	Tetsuo Tamai, Hausi A. Müller, Bashar Nuseibeh	Engineering Adaptive Software Systems (EASSy) (NII Shonan Meeting 2015-11).	NII Shonan Meet. Rep.	2015	DBLP BibTeX RDF
16	Stephan Sigg, Sozo Inoue	Challenges for real-time human activity recognition (NII Shonan Meeting 2015-12).	NII Shonan Meet. Rep.	2015	DBLP BibTeX RDF
16	Andrew McGregor 0001, Gopal Pandurangan, Sergei Vassilvitskii	Algorithms for Large Scale Graphs (NII Shonan Meeting 2014-12).	NII Shonan Meet. Rep.	2014	DBLP BibTeX RDF
16	Arie E. Kaufman, Issei Fujishiro	Computer Visualization - Concepts and Challenges (NII Shonan Meeting 2014-1).	NII Shonan Meet. Rep.	2014	DBLP BibTeX RDF
16	Atsushi Igarashi, Peter Thiemann 0001, Philip Wadler	Software Contracts for Communication, Monitoring, and Security (NII Shonan Meeting 2014-6).	NII Shonan Meet. Rep.	2014	DBLP BibTeX RDF
16	Fang-Pang Lin, Philip M. Papadopoulos, Satoshi Sekiguchi	Water Disaster Management and Big Data (NII Shonan Meeting 2014-8).	NII Shonan Meet. Rep.	2014	DBLP BibTeX RDF
16	Oleg Kiselyov, Jeremy G. Siek, Yukiyoshi Kameyama	Staging and high-performance computing: theory and practice (NII Shonan Meeting 2014-7).	NII Shonan Meet. Rep.	2014	DBLP BibTeX RDF
16	Randy Goebel, Yuji Matsumoto 0001, Ken Satoh	Towards Explanation Production Combining Natural Language Processing and Logical Reasoning (NII Shonan Meeting 2014-15).	NII Shonan Meet. Rep.	2014	DBLP BibTeX RDF
16	Pierre Baldi, Kenji Fukumizu, Tomaso A. Poggio	Deep Learning: Theory, Algorithms, and Applications (NII Shonan Meeting 2014-5).	NII Shonan Meet. Rep.	2014	DBLP BibTeX RDF
16	Barton P. Miller, Yoshio Tanaka, Elisa Heymann	Grid and Cloud Security: A Confluence (NII Shonan Meeting 2014-3).	NII Shonan Meet. Rep.	2014	DBLP BibTeX RDF
16	Ryan Budney, Benjamin A. Burton, Kazuhiro Ichihara	Knot theory: Algorithms, complexity and computation (NII Shonan Meeting 2014-4).	NII Shonan Meet. Rep.	2014	DBLP BibTeX RDF
16	Kazuo Sakiyama, Patrick Schaumont, Ingrid Verbauwhede	Design Methods for Secure Hardware (NII Shonan Meeting 2014-11).	NII Shonan Meet. Rep.	2014	DBLP BibTeX RDF
16	Rodney G. Downey, Kenshi Miyabe, André Nies, Osamu Watanabe	Algorithmic Randomness and Complexity (NII Shonan Meeting 2014-10).	NII Shonan Meet. Rep.	2014	DBLP BibTeX RDF
16	Pierre Castéran, Jacques Garrigue, David Nowak	Summer School on Coq (NII Shonan Meeting 2014-9).	NII Shonan Meet. Rep.	2014	DBLP BibTeX RDF
16	Hong Mei 0001, Frank Neumann 0001, Xin Yao 0001, Leandro L. Minku	Computational Intelligence for Software Engineering (NII Shonan Meeting 2014-13).	NII Shonan Meet. Rep.	2014	DBLP BibTeX RDF
16	Sebastian Böcker, Gunnar W. Klau, Veli Mäkinen, Hon Wai Leong	Towards the ground truth: Exact algorithms for bioinformatics research (NII Shonan Meeting 2014-2).	NII Shonan Meet. Rep.	2014	DBLP BibTeX RDF
16	Fuyuki Ishikawa, Alexander B. Romanovsky	Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS) (NII Shonan Meeting 2014-14).	NII Shonan Meet. Rep.	2014	DBLP BibTeX RDF
16	Tetsuya Tohdo, Werner Damm, Alexander Pretschner, Jun Sun	Integration of Formal Methods and Testing for Model-based Systems Engineering (NII Shonan Meeting 2014-16).	NII Shonan Meet. Rep.	2014	DBLP BibTeX RDF
16	Sherman S. M. Chow, Man Ho Au, Willy Susilo	Server-aided signatures verification secure against collusion attack.	Inf. Secur. Tech. Rep.	2013	DBLP DOI BibTeX RDF
16	Nikolaos E. Petroulakis, Elias Z. Tragos, Alexandros G. Fragkiadakis, George Spanoudakis	A lightweight framework for secure life-logging in smart environments.	Inf. Secur. Tech. Rep.	2013	DBLP DOI BibTeX RDF
16	Thomas Plos, Christian Maierhofer	On measuring the parasitic backscatter of sensor-enabled UHF RFID tags.	Inf. Secur. Tech. Rep.	2013	DBLP DOI BibTeX RDF
16	Delphine Christin, Pablo Sánchez López, Andreas Reinhardt 0001, Matthias Hollick, Michaela Kauer	Share with strangers: Privacy bubbles as user-centered privacy control for mobile content sharing applications.	Inf. Secur. Tech. Rep.	2013	DBLP DOI BibTeX RDF
16	Ioannis G. Askoxylakis, Mark Manulis, Joachim Posegga	Security and privacy for digital ecosystems.	Inf. Secur. Tech. Rep.	2013	DBLP DOI BibTeX RDF
16	Daniel Feledi, Stefan Fenz, Lukas Lechner	Toward web-based information security knowledge sharing.	Inf. Secur. Tech. Rep.	2013	DBLP DOI BibTeX RDF
16	Daniel Schreckling, Johannes Köstler, Matthias Schaff	Kynoid: Real-time enforcement of fine-grained, user-defined, and data-centric security policies for Android.	Inf. Secur. Tech. Rep.	2013	DBLP DOI BibTeX RDF
16	Jason L. Wright, Miles McQueen, Lawrence Wellman	Analyses of two end-user software vulnerability exposure metrics (extended version).	Inf. Secur. Tech. Rep.	2013	DBLP DOI BibTeX RDF
16	Anne Baumgrass, Mark Strembeck	Bridging the gap between role mining and role engineering via migration guides.	Inf. Secur. Tech. Rep.	2013	DBLP DOI BibTeX RDF
16	Safaà Hachana, Frédéric Cuppens, Nora Cuppens-Boulahia, Joaquín García-Alfaro	Semantic analysis of role mining results and shadowed roles detection.	Inf. Secur. Tech. Rep.	2013	DBLP DOI BibTeX RDF
16	Amir Herzberg, Haya Schulmann	Oblivious and fair server-aided two-party computation.	Inf. Secur. Tech. Rep.	2013	DBLP DOI BibTeX RDF
16	Moritz Riesner, Michael Netter, Günther Pernul	Analyzing settings for social identity management on Social Networking Sites: Classification, current state, and proposed developments.	Inf. Secur. Tech. Rep.	2013	DBLP DOI BibTeX RDF
16	Peter Frühwirt, Peter Kieseberg, Sebastian Schrittwieser, Markus Huber 0001, Edgar R. Weippl	InnoDB database forensics: Enhanced reconstruction of data manipulation queries from redo logs.	Inf. Secur. Tech. Rep.	2013	DBLP DOI BibTeX RDF
16	Matteo Dell'Amico, Gabriel Serme, Muhammad Sabir Idrees, Anderson Santana de Oliveira, Yves Roudier	HiPoLDS: A Hierarchical Security Policy Language for Distributed Systems.	Inf. Secur. Tech. Rep.	2013	DBLP DOI BibTeX RDF
16	Martin Franz, Björn Deiseroth, Kay Hamacher, Somesh Jha, Stefan Katzenbeisser 0001, Heike Schröder	Secure computations on non-integer values with applications to privacy-preserving sequence analysis.	Inf. Secur. Tech. Rep.	2013	DBLP DOI BibTeX RDF
16	Luigi Catuogno, Roberto Gassirà, Michele Masullo, Ivan Visconti	SmartK: Smart cards in operating systems at kernel level.	Inf. Secur. Tech. Rep.	2013	DBLP DOI BibTeX RDF
16	Tomohiro Yoneda, José Flich Cardo, Jiang Xu 0001, Michihiro Koibuchi	Many-cores and On-chip Interconnects (NII Shonan Meeting 2013-8).	NII Shonan Meet. Rep.	2013	DBLP BibTeX RDF
16	Hal Daumé III, Kevin Duh, Samir Khuller	Discrete Algorithms Meet Machine Learning (NII Shonan Meeting 2013-6).	NII Shonan Meet. Rep.	2013	DBLP BibTeX RDF
16	Gary T. Leavens, Peter H. Schmitt, Jooyong Yi	The Java Modeling Language (JML) (NII Shonan Meeting 2013-3).	NII Shonan Meet. Rep.	2013	DBLP BibTeX RDF
16	Lorenza Mondada, Mayumi Bono, Aug Nishizaka	Multi-activity in Interaction: A Multimodal Perspective on the Complaexity of Human Action (NII Shonan Meeting 2013-1).	NII Shonan Meet. Rep.	2013	DBLP BibTeX RDF
16	Atsushi Nakazawa, James M. Rehg, Yoichi Sato, Akihiro Sugimoto	First International Symposium on Computer Behavioral Science (NII Shonan Meeting 2013-9).	NII Shonan Meet. Rep.	2013	DBLP BibTeX RDF
16	Gregory Z. Gutin, Kazuo Iwama, Dimitrios M. Thilikos	Parameterized Complexity and the Understanding, Design, and Analysis of Heuristics (NII Shonan Meeting 2013-2).	NII Shonan Meet. Rep.	2013	DBLP BibTeX RDF
16	Kunihiko Sadakane, Wing-Kin Sung	Compact Data structures for Big Data (NII Shonan Meeting 2013-10).	NII Shonan Meet. Rep.	2013	DBLP BibTeX RDF
16	Wolf-Tilo Balke, Seung-won Hwang, Takahiro Hara, Christoph Lofi	Intelligent Information Processing - Chances of Crowdsourcing (NII Shonan Meeting 2013-15).	NII Shonan Meet. Rep.	2013	DBLP BibTeX RDF
16	Isao Echizen, Günter Müller, Ryôichi Sasaki, A Min Tjoa	Privacy by Transparency for Data-Centric Services (NII Shonan Meeting 2013-5).	NII Shonan Meet. Rep.	2013	DBLP BibTeX RDF
16	Shinichi Honiden, Zhenjiang Hu, Hausi A. Müller, John Mylopoulos, Yijun Yu	Engineering Adaptive Software Systems (EASSy) (NII Shonan Meeting 2013-7).	NII Shonan Meet. Rep.	2013	DBLP BibTeX RDF
16	Michael E. Houle, Vincent Oria, Arthur Zimek	Dimensionality and Scalability (NII Shonan Meeting 2013-4).	NII Shonan Meet. Rep.	2013	DBLP BibTeX RDF
16	Ahmed E. Hassan, Katsuro Inoue, Tao Xie 0001, Dongmei Zhang 0001	Software Analytics Principles and Practices (NII Shonan Meeting 2013-12).	NII Shonan Meet. Rep.	2013	DBLP BibTeX RDF
16	Tetsunari Inamura, Tamim Asfour, Sethu Vijayakumar	Cognitive Social Robotics: Intelligence based on Embodied Experience and Social Interaction (NII Shonan Meeting 2013-14).	NII Shonan Meet. Rep.	2013	DBLP BibTeX RDF
16	Akitoshi Kawamura, Jean-Yves Marion, David Nowak	Implicit Computational Complexity and Applications: Resource Control, Security, Real-Number Computation (NII Shonan Meeting 2013-13).	NII Shonan Meet. Rep.	2013	DBLP BibTeX RDF
16	Ichiro Hasuo, Keiko Nakata 0001, Tarmo Uustalu	Coinduction for Computation Structures and Programming Languages (NII Shonan Meeting 2013-11).	NII Shonan Meet. Rep.	2013	DBLP BibTeX RDF
16	Simon Walker	Economics and the cyber challenge.	Inf. Secur. Tech. Rep.	2012	DBLP DOI BibTeX RDF
16	Guy Bunker	Technology is not enough: Taking a holistic view for information assurance.	Inf. Secur. Tech. Rep.	2012	DBLP DOI BibTeX RDF
16	Vladimir Jirasek	Practical application of information security models.	Inf. Secur. Tech. Rep.	2012	DBLP DOI BibTeX RDF
16	Anika Pflug, Daniel Hartung, Christoph Busch 0001	Feature extraction from vein images using spatial information and chain codes.	Inf. Secur. Tech. Rep.	2012	DBLP DOI BibTeX RDF
16	Patrick Bours	Continuous keystroke dynamics: A different perspective towards biometric evaluation.	Inf. Secur. Tech. Rep.	2012	DBLP DOI BibTeX RDF
16	Oleg Kiselyov, Chung-chieh Shan, Yukiyoshi Kameyama	Bridging the theory of staged programming languages and the practice of high-performance computing (NII Shonan Meeting 2012-4).	NII Shonan Meet. Rep.	2012	DBLP BibTeX RDF
16	Ichiro Hasuo, Takuro Kutsuna, Toshimitsu Ushio	Hybrid Systems: Theory and Practice, Seriously (NII Shonan Meeting 2012-2).	NII Shonan Meet. Rep.	2012	DBLP BibTeX RDF
16	Nicholas J. Belkin, Susan T. Dumais, Noriko Kando, Mark Sanderson	Whole-Session Evaluation of Interactive Information Retrieval Systems (NII Shonan Meeting 2012-7).	NII Shonan Meet. Rep.	2012	DBLP BibTeX RDF
16	Philippe Codognet, Kazunori Ueda, Hiroshi Hosobe	Parallel Methods for Constraint Solving and Combinatorial Optimization (NII Shonan Meeting 2012-5).	NII Shonan Meet. Rep.	2012	DBLP BibTeX RDF
16	Jin Song Dong, Annabelle McIver, Carroll Morgan	Quantitative methods in security and safety critical applications (NII Shonan Meeting 2012-10).	NII Shonan Meet. Rep.	2012	DBLP BibTeX RDF
16	Nozha Boujemaa, Alexander G. Hauptmann, Shin'ichi Satoh 0001	The Future of Multimedia Analysis and Mining (NII Shonan Meeting 2012-9).	NII Shonan Meet. Rep.	2012	DBLP BibTeX RDF
16	Graham Cormode, S. Muthukrishnan 0001, Ke Yi 0001	Large-Scale Distributed Computation (NII Shonan Meeting 2012-1).	NII Shonan Meet. Rep.	2012	DBLP BibTeX RDF
16	Ouri Wolfson, Monika Sester, Stephan Winter 0001, Glenn Geers, Masaaki Tanizaki	Social Issues in Computational Transportation Science (NII Shonan Meeting 2012-12).	NII Shonan Meet. Rep.	2012	DBLP BibTeX RDF
16	Peter M. Athanas, Brad L. Hutchings, Kentaro Sano	The NII Shonan Configurable Computing Workshop (NII Shonan Meeting 2012-11).	NII Shonan Meet. Rep.	2012	DBLP BibTeX RDF
16	Barton P. Miller, Yoshio Tanaka, Elisa Heymann	Grid and Cloud Security: A Confluence (NII Shonan Meeting 2012-8).	NII Shonan Meet. Rep.	2012	DBLP BibTeX RDF
16	Arosha K. Bandara, Shinichi Honiden, Yijun Yu	Engineering Autonomic Systems (EASy) (NII Shonan Meeting 2012-3).	NII Shonan Meet. Rep.	2012	DBLP BibTeX RDF
16	Yu-Hui Tao, Nagul Cooharojananone, Shiro Uesugi, Hitoshi Okada	A Meeting of IT-enabled Services (ITeS) (NII Shonan Meeting 2012-6).	NII Shonan Meet. Rep.	2012	DBLP BibTeX RDF
16	George R. S. Weir, Fergus Toolan, Duncan N. Smeed	The threats of social networking: Old wine in new bottles?	Inf. Secur. Tech. Rep.	2011	DBLP DOI BibTeX RDF
16	Yacine Rebahi, Mohamed Nassar 0001, Thomas Magedanz, Olivier Festor	A survey on fraud and service misuse in voice over IP (VoIP) networks.	Inf. Secur. Tech. Rep.	2011	DBLP DOI BibTeX RDF
16	Lizzie Coles-Kemp, Joseph Reddington, Patricia A. H. Williams	Looking at clouds from both sides: The advantages and disadvantages of placing personal narratives in the cloud.	Inf. Secur. Tech. Rep.	2011	DBLP DOI BibTeX RDF
16	Serap Atay, Marcelo Masera	Challenges for the security analysis of Next Generation Networks.	Inf. Secur. Tech. Rep.	2011	DBLP DOI BibTeX RDF
16	Imad M. Abbadi, Andrew P. Martin	Trust in the Cloud.	Inf. Secur. Tech. Rep.	2011	DBLP DOI BibTeX RDF
16	Ulrich Lang 0001, Rudolf Schreiner	Analysis of recommended cloud security controls to validate OpenPMF "policy as a service".	Inf. Secur. Tech. Rep.	2011	DBLP DOI BibTeX RDF