Search results for "Stone"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
101	Yuki Igarashi	DECO: a designing editor for line stone decoration.	SIGGRAPH Posters	2010	DBLP DOI BibTeX RDF
101	Ting He 0001, Lang Tong	Detecting Encrypted Stepping-Stone Connections.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
69	Linfeng Zhang, Anthony G. Persaud, Alan Johnson, Yong Guan	Detection of stepping stone attack under delay and chaff perturbations.	IPCCC	2006	DBLP DOI BibTeX RDF
58	Bernhard Banaschewski	The Stone-Cech Compactification and the Cozero Lattice in Pointfree Topology.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 46E25, 54C30
58	Ying-Wei Kuo, Shou-Hsuan Stephen Huang	Stepping-stone detection algorithm based on order preserving mapping.	ICPADS	2007	DBLP DOI BibTeX RDF
58	Yongzhong Zhang, Jianhua Yang, Chunming Ye	Resistance Analysis to Intruders' Evasion of a Novel Algorithm to Detect Stepping-Stone.	ATC	2006	DBLP DOI BibTeX RDF
58	Fabio Alessi, Paolo Baldan, Furio Honsell	Partializing Stone Spaces using SFP Domains (Extended Abstract).	TAPSOFT	1997	DBLP DOI BibTeX RDF
57	H. R. Zhang, Y. M. Zhang	Calculation of Dynamic Pore Pressure in Stone Column Composite Foundation.	International Conference on Computational Science (3)	2007	DBLP DOI BibTeX RDF	Stone Column, Pore Pressure, Drain, Liquefaction, Dynamic
57	Bernhard Banaschewski	f-Rings and the Stone-Weierstrass Theorem.	Order	2001	DBLP DOI BibTeX RDF	bounded f-ring, compact completely regular frame, Stone-Weierstrass Theorem
57	Josef Niederle	On Pseudocomplemented and Stone Ordered Sets.	Order	2001	DBLP DOI BibTeX RDF	pseudocomplemented ordered set, Stone ordered set
56	Claudia Muresan	Co-stone Residuated Lattices.	ISMVL	2010	DBLP DOI BibTeX RDF	reticulation, Stone algebras, strongly Stone hull, residuated lattice
53	Diana Patterson	The Impact of Technology on Publishing Through the Ages to You.	SIGDOC	1985	DBLP DOI BibTeX RDF
52	Jianhua Yang, Yongzhong Zhang, Shou-Hsuan Stephen Huang	Resistance Analysis to Intruders' Evasion of Detecting Intrusion.	ISC	2006	DBLP DOI BibTeX RDF	time perturbation, chaff, intrusion detection, Network security, stepping-stone, evasion
47	Jianhua Dai, Weidong Chen 0002, Yunhe Pan	Sequent calculus system for rough sets based on rough Stone algebras.	GrC	2005	DBLP DOI BibTeX RDF
47	Mohd Nizam Omar, Mohd Aizaini Maarof, Anazida Zainal	Solving Time Gap Problems through the Optimization of Detecting Stepping Stone Algorithm.	CIT	2004	DBLP DOI BibTeX RDF
47	David L. Donoho, Ana Georgina Flesia, Umesh Shankar, Vern Paxson, Jason Coit, Stuart Staniford	Multiscale Stepping-Stone Detection: Detecting Pairs of Jittered Interactive Streams by Exploiting Maximum Tolerable Delay.	RAID	2002	DBLP DOI BibTeX RDF
47	H. L. Bentley, Miroslav Husek, Eva Lowen-Colebunders	A Stone-Weierstrass Type Theorem for an Unstructured Set - with Applications.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	filter space, Cauchy space, proximity space, merotopic space, algebra of functions, topology of uniform convergence, Cauchy continuous Cauchy structure
47	Kazunori Miyata	A method of generating stone wall patterns.	SIGGRAPH	1990	DBLP DOI BibTeX RDF
46	Madeline Balaam, Geraldine Fitzpatrick, Judith Good, Rosemary Luckin	Exploring affective technologies for the classroom with the subtle stone.	CHI	2010	DBLP DOI BibTeX RDF	affective technologies, subtle stone, learning, emotion, affect, classroom, emotional communication
46	Massimo Camplani, Barbara Cannas, Sara Carcangiu, Giovanna Concu, Alessandra Fanni, Augusto Montisci, M. L. Mulas	Acoustic Tomography for Non Destructive Testing of Stone Masonry.	ICCSA (2)	2008	DBLP DOI BibTeX RDF	stone masonry, tomography, ultrasonic waves, Non Destructive Testing
46	Han-Ching Wu, Shou-Hsuan Stephen Huang	Detecting Stepping-Stone with Chaff Perturbations.	AINA Workshops (1)	2007	DBLP DOI BibTeX RDF	Stepping-stone Detection, Chaff Perturbation, Intrusion Detection, Random Walk, Traceback
46	J. Jay Liu, John F. MacGregor	Estimation and monitoring of product aesthetics: application to manufacturing of "engineered stone" countertops.	Mach. Vis. Appl.	2006	DBLP DOI BibTeX RDF	Engineered stone countertops, Visual appearance, Wavelet texture analysis, Principal component analysis, Monitoring, Machine vision
46	Dirk Hofmann	On a Generalization of the Stone-Weierstrass Theorem.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	Stone-Weierstrass theorem, natural duality
43	Deukhee Lee, Norihiro Koizumi, Kohei Ota, Shin Yoshizawa 0002, Akira Ito, Yukio Kaneko, Yoichiro Matsumoto, Mamoru Mitsuishi	Ultrasound-based visual servoing system for lithotripsy.	IROS	2007	DBLP DOI BibTeX RDF
43	Pai Peng, Peng Ning, Douglas S. Reeves	On the Secrecy of Timing-Based Active Watermarking Trace-Back Techniques.	S&P	2006	DBLP DOI BibTeX RDF
43	Marcello M. Bonsangue, Alexander Kurz 0001	Duality for Logics of Transition Systems.	FoSSaCS	2005	DBLP DOI BibTeX RDF
43	Clemens Kupke, Alexander Kurz 0001, Dirk Pattinson	Ultrafilter Extensions for Coalgebras.	CALCO	2005	DBLP DOI BibTeX RDF
43	Avrim Blum, Dawn Xiaodong Song, Shobha Venkataraman	Detection of Interactive Stepping Stones: Algorithms and Confidence Bounds.	RAID	2004	DBLP DOI BibTeX RDF	Random walks, Network intrusion detection, Stepping stones, Evasion, Interactive sessions
42	W. Timothy Strayer, Christine E. Jones, Beverly Schwartz, Sarah Edwards, Walter C. Milliken, Alden W. Jackson	Efficient Multi-Dimensional Flow Correlation.	LCN	2007	DBLP DOI BibTeX RDF	correlation algorithms, flow correlation, stepping stone detection
42	Jianhua Yang, Yongzhong Zhang	Probabilistic Proof of an Algorithm to Compute TCP Packet Round-Trip Time for Intrusion Detection.	ACNS	2006	DBLP DOI BibTeX RDF	TCP packet-matching, intrusion detection, Network security, round-trip time, stepping-stone
37	Harold S. Stone, Talal Shamoon	Search-by-Content of Partially Occluded Images.	Int. J. Digit. Libr.	1997	DBLP DOI BibTeX RDF	Search-by-content, Fourier domain computation, Image processing, Data compression, Image searching
37	Harold S. Stone	Designing in the multimedia era.	IEEE Des. Test Comput.	1996	DBLP DOI BibTeX RDF
37	Ying-Wei Kuo, Shou-Hsuan Stephen Huang	Detecting Stepping-Stone Connection Using Association Rule Mining.	ARES	2009	DBLP DOI BibTeX RDF
37	Mai Gehrke	Stone Duality and the Recognisable Languages over an Algebra.	CALCO	2009	DBLP DOI BibTeX RDF
37	Mohamed Bekkali, Maurice Pouzet, Driss Zhani	Incidence structures and Stone-Priestley duality.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03G05, 08A62, 03G10
37	Shou-Hsuan Stephen Huang, Robert Lychev, Jianhua Yang	Stepping-Stone Detection Via Request-Response Traffic Analysis.	ATC	2007	DBLP DOI BibTeX RDF
37	Jianhua Dai	Logic for Rough Sets with Rough Double Stone Algebraic Semantics.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF
37	Michael Huth 0001	Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space.	LICS	2004	DBLP DOI BibTeX RDF
37	Micha Sharir, Hayim Shaul	Ray Shooting and Stone Throwing.	ESA	2003	DBLP DOI BibTeX RDF
37	Alan R. Heminger, Steven B. Robertson	Digital Rosetta Stone: A Conceptual Model for Maintaining Long-Term Access to Digital Documents.	HICSS (2)	1998	DBLP DOI BibTeX RDF
36	Ying-Wei Kuo, Shou-Hsuan Stephen Huang, Wei Ding 0003, Rebecca Kern, Jianhua Yang	Using Dynamic Programming Techniques to Detect Multi-hop Stepping-Stone Pairs in a Connection Chain.	AINA	2010	DBLP DOI BibTeX RDF	Stepping-stone attack, pattern recognition, intrusion detection, network security
36	Guoqing Zhao, Jianhua Yang, Gurdeep S. Hura 0001, Long Ni, Shou-Hsuan Stephen Huang	Correlating TCP/IP Interactive Sessions with Correlation Coefficient to Detect Stepping-Stone Intrusion.	AINA	2009	DBLP DOI BibTeX RDF	intrusion detection, network security, correlation coefficient, stepping-stone, interactive session
32	F. Tagliavini, Paola Reichenbach, D. Maragna, Fausto Guzzetti, Alessandro Pasuto	Comparison of 2-D and 3-D computer models for the M. Salta rock fall, Vajont Valley, northern Italy.	GeoInformatica	2009	DBLP DOI BibTeX RDF	Rock fall, Hazard assessment, 2D model, 3D model
32	Mao Ye 0001, Xue Li 0001	An Efficient Measure of Signal Temporal Predictability for Blind Source Separation.	Neural Process. Lett.	2007	DBLP DOI BibTeX RDF	Neural networks, Principal component analysis, Blind source separation, Eigenvector
32	Jianhua Dai, Hanfei Lv, Weidong Chen 0002, Yunhe Pan	Two Kinds of Rough Algebras and Brouwer-Zadeh Lattices.	RSCTC	2006	DBLP DOI BibTeX RDF
32	Hyun-Soo Park, Kyung-Woo Kang, Hang Joon Kim	Judgment of Static Life and Death in Computer Go Using String Graph.	ICNC (2)	2005	DBLP DOI BibTeX RDF
32	Pai Peng, Peng Ning, Douglas S. Reeves, Xinyuan Wang 0005	Active Timing-Based Correlation of Perturbed Traffic Flows with Chaff Packets.	ICDCS Workshops	2005	DBLP DOI BibTeX RDF
32	Erik D. Demaine, Martin L. Demaine, Rudolf Fleischer	Solitaire Clobber.	Computers and Games	2002	DBLP DOI BibTeX RDF
32	Maciej Orkisz, M. Bourlion, Gérard Gimenez, T. A. Flam	Real-time target tracking applied to improve fragmentation of renal stones in extra-corporeal lithotripsy.	Mach. Vis. Appl.	1999	DBLP DOI BibTeX RDF	Extra-corporeal shock-wave lithotripsy, Urinary calculi, Image processing, Medical imaging, Target tracking
32	Justin W. Hart, Reuth Mirsky, Xuesu Xiao, Stone Tejeda, Bonny Mahajan, Jamin Goo, Kathryn Baldauf, Sydney Owen, Peter Stone	Using Human-Inspired Signals to Disambiguate Navigational Intentions.	ICSR	2020	DBLP DOI BibTeX RDF
32	Theodore Stone, Nathaniel Stone, Nirupam Roy, William Melton, J. Benjamin Jackson, Srihari Nelakuditi	On Smart Soccer Ball as a Head Impact Sensor.	IEEE Trans. Instrum. Meas.	2019	DBLP DOI BibTeX RDF
32	Justin W. Hart, Reuth Mirsky, Stone Tejeda, Bonny Mahajan, Jamin Goo, Kathryn Baldauf, Sydney Owen, Peter Stone	Unclogging Our Arteries: Using Human-Inspired Signals to Disambiguate Navigational Intentions.	CoRR	2019	DBLP BibTeX RDF
32	Theodore Stone, Nathaniel Stone, Puneet Jain, Yurong Jiang, Kyu-Han Kim, Srihari Nelakuditi	Towards Scalable Video Analytics at the Edge.	SECON	2019	DBLP DOI BibTeX RDF
32	Theodore Stone, Nathaniel Stone, Xiang Guan, Srihari Nelakuditi, Nirupam Roy, Will Melton, Kayla Cole, J. Benjamin Jackson, Addis Kidane	Assessing header impacts in soccer with smartball: poster.	MobiCom	2016	DBLP DOI BibTeX RDF
32	Matthew Stone, Christine Doran, Bonnie L. Webber, Tonia Bleam, Martha Stone Palmer	Microplanning with Communicative Intentions: The SPUD System	CoRR	2001	DBLP BibTeX RDF
32	Janice M. Stone, Harold S. Stone, Philip Heidelberger, John Turek	Multiple reservations and the Oklahoma update.	IEEE Parallel Distributed Technol. Syst. Appl.	1993	DBLP DOI BibTeX RDF
32	Harold S. Stone, Janice M. Stone	Efficient Search Techniques - An Empirical Study of the N-Queens Problem.	IBM J. Res. Dev.	1987	DBLP DOI BibTeX RDF
31	Niels C. Taubert, Andre Bruns, Christopher Lenke, Graham Stone	Waiving Article Processing Charges for Least Developed Countries. A Brick Stone of a Large-scale Open Access Transformation.	CoRR	2020	DBLP BibTeX RDF
31	Sato Kentaro	Proper Semantics for Substructural Logics, from a Stalker Theoretic Point of View.	Stud Logica	2008	DBLP DOI BibTeX RDF	general semantics of substructural logics, meta deduction relation, deductive filter, Stone’s sheaf representation, site, stalker, meaning of connectives, primeness
31	Giulio Manzonetto, Antonino Salibra	From lambda-Calculus to Universal Algebra and Back.	MFCS	2008	DBLP DOI BibTeX RDF	Church Algebras, Stone Representation Theorem, Lambda Theories, Lambda calculus, Universal Algebra
31	Jianhua Yang, Shou-Hsuan Stephen Huang, Ming Dong Wan	A Clustering-Partitioning Algorithm to Find TCP Packet Round-Trip Time for Intrusion Detection.	AINA (1)	2006	DBLP DOI BibTeX RDF	clustering, intrusion detection, Network security, partitioning, round-trip time, stepping-stone
31	Jianhua Yang, Byong Lee, Yongzhong Zhang	Finding TCP Packet Round-Trip Time for Intrusion Detection: Algorithm and Analysis.	CANS	2006	DBLP DOI BibTeX RDF	intrusion detection, Network security, round-trip time, stepping-stone
31	He Wei	A Constructive Proof of the Gelfand-Kolmogorov Theorem.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	Stone-ech compactification, nucleus, locale
31	Hyungwoo Kang, Soon Jwa Hong, Dong Hoon Lee 0001	Matching Connection Pairs.	PDCAT	2004	DBLP DOI BibTeX RDF	Connection pairs, Detoured attack, Traceback, Stepping stone, Backdoor
31	Maria Manuel Clementino, Dirk Hofmann	Topological Features of Lax Algebras.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	(lax) monad, (lax) algebra, ultrafilter monad, approach space, quasi-uniform space, ech-Stone compactification, topological space
31	Kwong H. Yung	Detecting Long Connection Chains of Interactive Terminal Sessions.	RAID	2002	DBLP DOI BibTeX RDF	connection chain, terminal session, delayed acknowledgment, reply echo, echo delay, intrusion detection, network security, computer security, network protocol, Stepping stone
31	Kazunori Miyata, Takayuki Itoh, Kenji Shimada	A method for generating pavement textures using the square packing technique.	Vis. Comput.	2001	DBLP DOI BibTeX RDF	Pavement, Square packing, Stone, Texture, Subdivision surface
31	Abbas Edalat, Michael B. Smyth	Information categories.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	Scott information systems, I-category, categories of domains, Stone spaces, initial algebra, domain equations
31	Bong-Il Song, Jinny Lee, Won-Ho Jung, Bum Soo Kim	Pure uric acid stone prediction model using the variant coefficient of stone density measured by thresholding 3D segmentation-based methods: A multicenter study.	Comput. Methods Programs Biomed.	2023	DBLP DOI BibTeX RDF
31	Elena M. Vella, Daniel A. Williams, Aleks Michalewicz, Airlie Chapman, Robert Walton	Did That Stone Move? Staging Stone Swarms in Virtual Reality and IRL Galleries.	EVA	2022	DBLP DOI BibTeX RDF
31	Koubouratou Idjaton, Xavier Desquesnes, Sylvie Treuillet, Xavier Brunetaud	Stone-by-Stone Segmentation for Monitoring Large Historical Monuments Using Deep Neural Networks.	ICPR Workshops (7)	2020	DBLP DOI BibTeX RDF
31	Arun Kumar 0005, Mohua Banerjee	A Semantic Analysis of Stone and Dual Stone Negations with Regularity.	ICLA	2017	DBLP DOI BibTeX RDF
31	Xiaorui Zhang, Shujun Yao	Technology innovation and practice of long span traditional pure stone structure: Case from pure stone archway in Baoji new executive square.	EMEIT	2011	DBLP DOI BibTeX RDF
31	David M. Clark	The Structure of Algebraically and Existentially Closed Stone and Double Stone Algebras.	J. Symb. Log.	1989	DBLP DOI BibTeX RDF
26	Maureen C. Stone	Welcome, and Beyond.	IEEE Computer Graphics and Applications	2008	DBLP DOI BibTeX RDF	electronic publishing
26	Maureen C. Stone	Introducing the IEEE CG&A Editorial Board.	IEEE Computer Graphics and Applications	2007	DBLP DOI BibTeX RDF	IEEE Computer Graphics and Applications, editorial policies, peer-review
26	John C. Dill, Maureen C. Stone	In with the New, Out with the Old.	IEEE Computer Graphics and Applications	2007	DBLP DOI BibTeX RDF	Computer Graphics and Applications, editorial board, editor
26	Matthew Stone	Disjunction and modular goal-directed proof search.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	goal-directed proof, indefinite information, locality, logic programming, modularity, Modal logic
26	Adam Stone, Benjamin Alfonsi, Scott L. Andresen	News.	IEEE Secur. Priv.	2004	DBLP DOI BibTeX RDF
26	Adam Stone, Terry Costlow	In the News.	IEEE Softw.	2003	DBLP DOI BibTeX RDF
26	Wei Ding 0003, Matthew J. Hausknecht, Shou-Hsuan Stephen Huang, Zach Riggle	Detecting Stepping-Stone Intruders with Long Connection Chains.	IAS	2009	DBLP DOI BibTeX RDF
26	Mahdi Khosravy, Mohammad Reza Alsharif, Katsumi Yamashita	A PDF-Matched Modification to Stone's Measure of Predictability for Blind Source Separation.	ISNN (1)	2009	DBLP DOI BibTeX RDF	Eigenvalue routine, Short-term linear predictors, Predictability, Blind source separation, Gaussianity
26	Yasuo Kawahara	Boolean Algebras and Stone Maps in Schröder Categories.	RelMiCS	2008	DBLP DOI BibTeX RDF
26	Swaroop Ghosh, Patrick Ndai, Kaushik Roy 0001	A Novel Low Overhead Fault Tolerant Kogge-Stone Adder Using Adaptive Clocking.	DATE	2008	DBLP DOI BibTeX RDF
26	Jianhua Yang, Byong Lee	Detecting Stepping-Stone Intrusion and Resisting Evasion through TCP/IP Packets Cross-Matching.	ATC	2008	DBLP DOI BibTeX RDF
26	Henrik Enquist, Konrad Tollmar	The memory stone: a personal ICT device in health care.	NordiCHI	2008	DBLP DOI BibTeX RDF	pervasive health care, pregnancy, interaction design, ICT
26	Han-Ching Wu, Shou-Hsuan Stephen Huang	Performance of Neural Networks in Stepping-Stone Intrusion Detection.	ICNSC	2008	DBLP DOI BibTeX RDF
26	Sukanya Manna, Tom Gedeon	A Term Association Inference Model for Single Documents: A Stepping Stone for Investigation through Information Extraction.	ISI Workshops	2008	DBLP DOI BibTeX RDF	Gain of Words, Gain of Sentences, term significance, Information retrieval, summarization, investigation
26	Ahyoung Choi, Yoosoo Oh, Goeun Park, Woontack Woo	Stone-Type Physiological Sensing Device for Daily Monitoring in an Ambient Intelligence Environment.	AmI	2008	DBLP DOI BibTeX RDF	Physiological sensing device, Real-time physiological signal analysis, Daily health monitoring, Context awareness
26	Helge J. Ritter, Robert Haschke, Jochen J. Steil	A Dual Interaction Perspective for Robot Cognition: Grasping as a "Rosetta Stone".	Perspectives of Neural-Symbolic Integration	2007	DBLP DOI BibTeX RDF
26	Yongping Tang, Yema Liverpool, Thomas E. Daniels	Monitor placement for stepping stone analysis.	IPCCC	2006	DBLP DOI BibTeX RDF
26	Bernhard Banaschewski	Integral Stone Rings.	Order	2005	DBLP DOI BibTeX RDF	partially ordered rings, f-rings with strong regular unit
26	Thomas Weber	Discriminant Analysis of Polythetically Described Older Palaeolithic Stone Flakes: Possibilities and Questions.	GfKl	2005	DBLP DOI BibTeX RDF
26	Alan R. Heminger, Don M. Kelley	A Delphi Assessment of the Digital Rosetta Stone Model.	HICSS	2004	DBLP DOI BibTeX RDF
21	Norihiro Koizumi, Joonho Seo, Yugo Suzuki, Deukhee Lee, Kohei Ota, Akira Nomiya, Shin Yoshizawa 0002, Kiyoshi Yoshinaka, Naohiko Sugita, Yoichiro Matsumoto, Yukio Homma, Mamoru Mitsuishi	A control framework for the non-invasive ultrasound theragnostic system.	IROS	2009	DBLP DOI BibTeX RDF
21	M. Andrew Moshier, Daniela Petrisan	A Duality Theorem for Real C* Algebras.	CALCO	2009	DBLP DOI BibTeX RDF
21	Matteo Vasirani, Sascha Ossowski	A market-inspired approach to reservation-based urban road traffic management.	AAMAS (1)	2009	DBLP BibTeX RDF	market-based coordination mechanisms, traffic and transportation, reinforcement learning
21	Peter I. Corke, Jonathan M. Roberts, Jock Cunningham, David W. Hainsworth	Mining Robotics.	Springer Handbook of Robotics	2008	DBLP DOI BibTeX RDF
21	Ying-Wei Kuo, Shou-Hsuan Stephen Huang	An Algorithm to Detect Stepping-Stones in the Presence of Chaff Packets.	ICPADS	2008	DBLP DOI BibTeX RDF
21	Derek Dreyer, Matthias Blume	Principal Type Schemes for Modular Programs.	ESOP	2007	DBLP DOI BibTeX RDF