{"id":"https://openalex.org/W2152370681","doi":"https://doi.org/10.1109/pccga.2003.1238270","title":"Bounding recursive procedural models using convex optimization","display_name":"Bounding recursive procedural models using convex optimization","publication_year":2004,"publication_date":"2004-01-24","ids":{"openalex":"https://openalex.org/W2152370681","doi":"https://doi.org/10.1109/pccga.2003.1238270","mag":"2152370681"},"language":"en","primary_location":{"id":"doi:10.1109/pccga.2003.1238270","is_oa":false,"landing_page_url":"https://doi.org/10.1109/pccga.2003.1238270","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"11th Pacific Conference onComputer Graphics and Applications, 2003. Proceedings.","raw_type":"proceedings-article"},"type":"article","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/A5041383738","display_name":"Orion Sky Lawlor","orcid":"https://orcid.org/0000-0003-2088-9751"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"O.S. Lawlor","raw_affiliation_strings":["Department of Computer Science, University of Illinois, Urbana-Champaign, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Illinois, Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111373264","display_name":"John C. Hart","orcid":"https://orcid.org/0000-0002-7102-0055"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J.C. Hart","raw_affiliation_strings":["Department of Computer Science, University of Illinois, Urbana-Champaign, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Illinois, Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5041383738"],"corresponding_institution_ids":["https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"fwci":0.1169,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.4851131,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"283","last_page":"292"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9879000186920166,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9879000186920166,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9804999828338623,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9710999727249146,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/bounding-overwatch","display_name":"Bounding overwatch","score":0.8777186870574951},{"id":"https://openalex.org/keywords/polyhedron","display_name":"Polyhedron","score":0.714238166809082},{"id":"https://openalex.org/keywords/iterated-function","display_name":"Iterated function","score":0.6428910493850708},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5695199966430664},{"id":"https://openalex.org/keywords/regular-polygon","display_name":"Regular polygon","score":0.5367931127548218},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.5245678424835205},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.500363826751709},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4868437647819519},{"id":"https://openalex.org/keywords/linear-programming","display_name":"Linear programming","score":0.4217078685760498},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4157608151435852},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.352370023727417},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.16461148858070374},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12953364849090576}],"concepts":[{"id":"https://openalex.org/C63584917","wikidata":"https://www.wikidata.org/wiki/Q333286","display_name":"Bounding overwatch","level":2,"score":0.8777186870574951},{"id":"https://openalex.org/C54829058","wikidata":"https://www.wikidata.org/wiki/Q172937","display_name":"Polyhedron","level":2,"score":0.714238166809082},{"id":"https://openalex.org/C140479938","wikidata":"https://www.wikidata.org/wiki/Q5254619","display_name":"Iterated function","level":2,"score":0.6428910493850708},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5695199966430664},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.5367931127548218},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5245678424835205},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.500363826751709},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4868437647819519},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.4217078685760498},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4157608151435852},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.352370023727417},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.16461148858070374},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12953364849090576},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/pccga.2003.1238270","is_oa":false,"landing_page_url":"https://doi.org/10.1109/pccga.2003.1238270","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"11th Pacific Conference onComputer Graphics and Applications, 2003. Proceedings.","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W96688453","https://openalex.org/W1964502221","https://openalex.org/W1973215147","https://openalex.org/W2000690667","https://openalex.org/W2009206705","https://openalex.org/W2029629075","https://openalex.org/W2043334098","https://openalex.org/W2057418748","https://openalex.org/W2077102400","https://openalex.org/W2097896816","https://openalex.org/W2101766509","https://openalex.org/W2103055948","https://openalex.org/W2138181514","https://openalex.org/W2149938550","https://openalex.org/W2168684426","https://openalex.org/W2339378878","https://openalex.org/W2611147814","https://openalex.org/W4234222424","https://openalex.org/W4249303767","https://openalex.org/W4249775755","https://openalex.org/W6603874106","https://openalex.org/W6675441894","https://openalex.org/W6682345059"],"related_works":["https://openalex.org/W2065436195","https://openalex.org/W2971340537","https://openalex.org/W2797788337","https://openalex.org/W2113001792","https://openalex.org/W2046210743","https://openalex.org/W4294541085","https://openalex.org/W1511346678","https://openalex.org/W2030136392","https://openalex.org/W1584292662","https://openalex.org/W1857475410"],"abstract_inverted_index":{"We":[0,15],"present":[1,33],"an":[2,18,34],"algorithm":[3,35,51,70],"to":[4,23,54],"construct":[5],"a":[6,11,42],"tight":[7],"bounding":[8,59],"polyhedron":[9],"for":[10],"recursive":[12,76],"procedural":[13,29,77],"model.":[14,30],"first":[16],"use":[17],"iterated":[19],"function":[20],"system":[21],"(IFS)":[22],"represent":[24],"the":[25,28,38,56],"extent":[26],"of":[27,44,68],"Then":[31],"we":[32,65],"that":[36],"expresses":[37],"IFS-bounding":[39],"problem":[40],"as":[41],"set":[43],"linear":[45],"convex":[46],"optimization.":[47],"As":[48],"such,":[49],"our":[50],"is":[52],"guaranteed":[53],"find":[55],"recursively":[57],"optimal":[58],"polyhedron,":[60],"if":[61],"it":[62],"exists.":[63],"Finally,":[64],"demonstrate":[66],"examples":[67],"this":[69],"on":[71],"two":[72],"and":[73],"three":[74],"dimensional":[75],"models.":[78]},"counts_by_year":[{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}