{"id":"https://openalex.org/W2028087848","doi":"https://doi.org/10.1145/2556288.2557191","title":"Edit distance modulo bisimulation","display_name":"Edit distance modulo bisimulation","publication_year":2014,"publication_date":"2014-04-26","ids":{"openalex":"https://openalex.org/W2028087848","doi":"https://doi.org/10.1145/2556288.2557191","mag":"2028087848"},"language":"en","primary_location":{"id":"doi:10.1145/2556288.2557191","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2556288.2557191","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the SIGCHI Conference on Human Factors in Computing Systems","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057270156","display_name":"Himanshu Zade","orcid":"https://orcid.org/0000-0003-1755-7780"},"institutions":[{"id":"https://openalex.org/I65181880","display_name":"Indian Institute of Technology Hyderabad","ror":"https://ror.org/01j4v3x97","country_code":"IN","type":"education","lineage":["https://openalex.org/I65181880"]},{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["IN","US"],"is_corresponding":false,"raw_author_name":"Himanshu Zade","raw_affiliation_strings":["IIIT-H (International Institute of Information Technology - Hyderabad) & Carnegie Mellon University (USA), Hyderabad, Andhra Pradesh, INDIA","IIIT-H (International Institute of Information Technology - Hyderabad) & Carnegie Mellon University (USA), Hyderabad, Andhra Pradesh, INDIA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IIIT-H (International Institute of Information Technology - Hyderabad) & Carnegie Mellon University (USA), Hyderabad, Andhra Pradesh, INDIA","institution_ids":["https://openalex.org/I65181880","https://openalex.org/I74973139"]},{"raw_affiliation_string":"IIIT-H (International Institute of Information Technology - Hyderabad) & Carnegie Mellon University (USA), Hyderabad, Andhra Pradesh, INDIA#TAB#","institution_ids":["https://openalex.org/I65181880"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047317271","display_name":"Santosh Arvind Adimoolam","orcid":null},"institutions":[{"id":"https://openalex.org/I65181880","display_name":"Indian Institute of Technology Hyderabad","ror":"https://ror.org/01j4v3x97","country_code":"IN","type":"education","lineage":["https://openalex.org/I65181880"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Santosh Arvind Adimoolam","raw_affiliation_strings":["IIIT-H (International Institute of Information Technology - Hyderabad), Hyderabad, India","IIIT-H (International Institute of Information Technology - Hyderabad), Hyderabad, India#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IIIT-H (International Institute of Information Technology - Hyderabad), Hyderabad, India","institution_ids":["https://openalex.org/I65181880"]},{"raw_affiliation_string":"IIIT-H (International Institute of Information Technology - Hyderabad), Hyderabad, India#TAB#","institution_ids":["https://openalex.org/I65181880"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028724299","display_name":"Sai Gollapudi","orcid":"https://orcid.org/0000-0003-1741-4851"},"institutions":[{"id":"https://openalex.org/I65181880","display_name":"Indian Institute of Technology Hyderabad","ror":"https://ror.org/01j4v3x97","country_code":"IN","type":"education","lineage":["https://openalex.org/I65181880"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Sai Gollapudi","raw_affiliation_strings":["IIIT-H (International Institute of Information Technology - Hyderabad), Hyderabad, India","IIIT-H (International Institute of Information Technology - Hyderabad), Hyderabad, India#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IIIT-H (International Institute of Information Technology - Hyderabad), Hyderabad, India","institution_ids":["https://openalex.org/I65181880"]},{"raw_affiliation_string":"IIIT-H (International Institute of Information Technology - Hyderabad), Hyderabad, India#TAB#","institution_ids":["https://openalex.org/I65181880"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032134965","display_name":"Anind K. Dey","orcid":"https://orcid.org/0000-0002-3004-0770"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Anind K. Dey","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, PA, USA","Carnegie-Mellon University, Pittsburgh, Pa., USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Carnegie-Mellon University, Pittsburgh, Pa., USA#TAB#","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072565144","display_name":"Venkatesh Choppella","orcid":"https://orcid.org/0000-0003-1085-3464"},"institutions":[{"id":"https://openalex.org/I65181880","display_name":"Indian Institute of Technology Hyderabad","ror":"https://ror.org/01j4v3x97","country_code":"IN","type":"education","lineage":["https://openalex.org/I65181880"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Venkatesh Choppella","raw_affiliation_strings":["IIIT-H (International Institute of Information Technology - Hyderabad), Hyderabad, India","IIIT-H (International Institute of Information Technology - Hyderabad), Hyderabad, India#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IIIT-H (International Institute of Information Technology - Hyderabad), Hyderabad, India","institution_ids":["https://openalex.org/I65181880"]},{"raw_affiliation_string":"IIIT-H (International Institute of Information Technology - Hyderabad), Hyderabad, India#TAB#","institution_ids":["https://openalex.org/I65181880"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1757","last_page":"1766"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10203","display_name":"Recommender Systems and Techniques","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10203","display_name":"Recommender Systems and Techniques","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.9940999746322632,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12101","display_name":"Advanced Bandit Algorithms Research","score":0.9901000261306763,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/edit-distance","display_name":"Edit distance","score":0.8813363313674927},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7345972657203674},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.7336762547492981},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.617700457572937},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.5654135942459106},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5059265494346619},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.4998905658721924},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.45787426829338074},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.39926576614379883},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3758581280708313},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16119292378425598},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.09511962532997131}],"concepts":[{"id":"https://openalex.org/C44359876","wikidata":"https://www.wikidata.org/wiki/Q5338467","display_name":"Edit distance","level":2,"score":0.8813363313674927},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7345972657203674},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.7336762547492981},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.617700457572937},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.5654135942459106},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5059265494346619},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.4998905658721924},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45787426829338074},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39926576614379883},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3758581280708313},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16119292378425598},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.09511962532997131},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2556288.2557191","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2556288.2557191","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the SIGCHI Conference on Human Factors in Computing Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W31429788","https://openalex.org/W65631314","https://openalex.org/W254730696","https://openalex.org/W1492380889","https://openalex.org/W1492495719","https://openalex.org/W1520563452","https://openalex.org/W1553977197","https://openalex.org/W1580034569","https://openalex.org/W1672932266","https://openalex.org/W1909326198","https://openalex.org/W1949924760","https://openalex.org/W1980170933","https://openalex.org/W1987796200","https://openalex.org/W1989409903","https://openalex.org/W1990336805","https://openalex.org/W1994850135","https://openalex.org/W1999047205","https://openalex.org/W2008084531","https://openalex.org/W2014889293","https://openalex.org/W2022259464","https://openalex.org/W2032152873","https://openalex.org/W2043819112","https://openalex.org/W2064258577","https://openalex.org/W2081428746","https://openalex.org/W2087061903","https://openalex.org/W2102750190","https://openalex.org/W2115862021","https://openalex.org/W2123591057","https://openalex.org/W2125629754","https://openalex.org/W2129819277","https://openalex.org/W2132920211","https://openalex.org/W2137679653","https://openalex.org/W2137865376","https://openalex.org/W2163640453","https://openalex.org/W2165195887","https://openalex.org/W2165503132","https://openalex.org/W2214988535","https://openalex.org/W2251129220","https://openalex.org/W2303413189","https://openalex.org/W2407503784","https://openalex.org/W2489282037","https://openalex.org/W2912944677","https://openalex.org/W2983265064","https://openalex.org/W4246847804"],"related_works":["https://openalex.org/W1495872178","https://openalex.org/W1522712643","https://openalex.org/W2102135785","https://openalex.org/W2136070637","https://openalex.org/W2089212807","https://openalex.org/W2783071694","https://openalex.org/W1976268573","https://openalex.org/W1553849808","https://openalex.org/W2117548279","https://openalex.org/W2963587252"],"abstract_inverted_index":{"When":[0],"a":[1,6,42,46,61,89,144,148,153],"user":[2,20,43,90,126,140,172],"learns":[3],"to":[4,69,82,88,92,96,104,155],"use":[5],"new":[7],"device,":[8],"her":[9],"understanding":[10],"of":[11,17,74],"it":[12,94],"evolves.":[13],"A":[14],"progressive":[15,171],"comparison":[16],"the":[18,23,32,39,71,97,113,137,139],"evolving":[19],"models":[21,110],"towards":[22],"device":[24,138,146],"target":[25,47,98,124],"model,":[26,48],"for":[27,55,119,175],"analysing":[28],"learning,":[29,173,177],"involves":[30],"determining":[31],"behavioral":[33,58],"proximity":[34,59],"between":[35,41,108,123],"them.":[36],"To":[37],"quantify":[38],"gap":[40],"model":[44,91],"and":[45,76,111,125,151,178],"we":[49],"introduce":[50],"an":[51,102],"edit":[52,67,106,121,167],"distance":[53,68,107,122,168],"metric":[54,165],"measuring":[56],"their":[57],"using":[60],"bisimulation-based":[62],"equivalence":[63],"relation.":[64],"We":[65,100],"define":[66],"be":[70,83],"minimum":[72],"number":[73],"edges":[75,80],"states":[77],"with":[78,170],"incident":[79],"required":[81],"deleted":[84],"from":[85],"and/or":[86],"added":[87],"make":[93],"bisimilar":[95],"model.":[99,159],"propose":[101],"algorithm":[103],"compute":[105],"two":[109,133],"employ":[112],"heuristic":[114],"procedure":[115],"on":[116,136],"experimental":[117],"data":[118,129],"computing":[120],"models.":[127],"The":[128,160],"is":[130],"organised":[131],"into":[132],"experiments":[134],"depending":[135],"interacted":[141],"with:":[142],"(a)":[143],"simple":[145],"resembling":[147],"vending":[149],"machine":[150],"(b)":[152],"close":[154],"real-world":[156],"vehicle":[157],"transmission":[158],"results":[161],"validate":[162],"our":[163],"proposed":[164],"as":[166],"converges":[169],"increases":[174],"erroneous":[176],"remains":[179],"unchanged":[180],"indicating":[181],"no":[182],"learning.":[183]},"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}