Search results for "Structural semantics"

Found 18 publication records. Showing 18 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Ethan K. Jackson, Janos Sztipanovits	Formalizing the structural semantics of domain-specific modeling languages.	Software and System Modeling	2009	DBLP DOI BibTeX RDF	Structural semantics, Metamodeling, Model-based Design, Formal logic, Domain-specific modeling languages, Horn logic
2	Vasileios Mezaris, Panagiotis Sidiropoulos, Ioannis Kompatsiaris	Improving Interactive Video Retrieval by Exploiting Automatically-Extracted Video Structural Semantics.	ICSC	2011	DBLP DOI BibTeX RDF	Video structural semantics, interaction, semantic video retrieval
1	Patrick Cousot, Radhia Cousot	Bi-inductive structural semantics.	Inf. Comput.	2009	DBLP DOI BibTeX RDF
1	Jizhou Gao, Yin Hu, Jinze Liu, Ruigang Yang	Unsupervised learning of high-order structural semantics from images.	ICCV	2009	DBLP DOI BibTeX RDF
1	Stelios Paparizos, Alexandros Ntoulas, John C. Shafer, Rakesh Agrawal	Answering web queries using structured data sources.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	web databases
1	Roland Meyer, Roberto Gorrieri	On the Relationship between π-Calculus and Finite Place/Transition Petri Nets.	CONCUR	2009	DBLP DOI BibTeX RDF
1	Andrew Gacek	The Abella Interactive Theorem Prover (System Description).	IJCAR	2008	DBLP DOI BibTeX RDF
1	Jan Hidders, Jacek Sroka	Towards a Calculus for Collection-Oriented Scientific Workflows with Side Effects.	OTM Conferences	2008	DBLP DOI BibTeX RDF
1	Simon Harper, Sean Bechhofer	SADIe: Structural semantics for accessibility and device independence.	ACM Trans. Comput.-Hum. Interact.	2007	DBLP DOI BibTeX RDF	semantic web, visual impairment, Web accessibility, transcoding
1	Patrick Cousot, Radhia Cousot	Bi-inductive Structural Semantics: (Extended Abstract).	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Ramya Ravichandar, James D. Arthur, Shawn A. Bohner	Capabilities Engineering: Constructing Change-Tolerant Systems.	HICSS	2007	DBLP DOI BibTeX RDF
1	Ethan K. Jackson, Janos Sztipanovits	Constructive Techniques for Meta- and Model-Level Reasoning.	MoDELS	2007	DBLP DOI BibTeX RDF
1	Simon Harper, Sean Bechhofer, Darren Lunn	SADIe: : transcoding based on CSS.	ASSETS	2006	DBLP DOI BibTeX RDF	web, tools, visual impairment, transcoding, document engineering
1	Simon Harper, Sean Bechhofer, Darren Lunn	Taming the inaccessible web.	SIGDOC	2006	DBLP DOI BibTeX RDF	web, tools, visual impairment, document engineering
1	Rohit Gheyi, Tiago Massoni	Formal refactorings for object models.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	theorem proving, object models, model refactoring
1	Michael Schrefl, Katharina Grün, Jürgen Dorn	SemCrypt - Ensuring Privacy of Electronic Documents Through Semantic-Based Encrypted Query Processing.	ICDE Workshops	2005	DBLP DOI BibTeX RDF
1	Muan Yong Ng, Michael J. Butler	Towards Formalizing UML State Diagrams in CSP.	SEFM	2003	DBLP DOI BibTeX RDF
1	Daniel Leivant	Structural Semantics for Polymorphic Data Types.	POPL	1983	DBLP DOI BibTeX RDF