Sciweavers

6016 search results - page 65 / 1204
» The semantics of graphical languages
Sort
View
ICIP
2002
IEEE
15 years 9 months ago
Detection and segmentation of sweeps in color graphics images
Business graphics are an important class of digital imagery. Such images are computer-generated, and comprise synthetic elements such as solid fills, line art, and color sweeps. O...
Salil Prabhakar, Hui Cheng, Raja Bala, John C. Han...
EMNLP
2009
15 years 2 months ago
Graphical Models over Multiple Strings
We study graphical modeling in the case of stringvalued random variables. Whereas a weighted finite-state transducer can model the probabilistic relationship between two strings, ...
Markus Dreyer, Jason Eisner
AAAI
2000
15 years 5 months ago
Semantics of Agent Communication Languages for Group Interaction
Group communication is the core of societal interactions. Therefore, artificial agents should be able to communicate with groups as well as individuals. However, most contemporary...
Sanjeev Kumar, Marcus J. Huber, David McGee, Phili...
APLAS
2008
ACM
15 years 6 months ago
An Operational Semantics for JavaScript
We define a small-step operational semantics for the ECMAScript standard language corresponding to JavaScript, as a basis for analyzing security properties of web applications and ...
Sergio Maffeis, John C. Mitchell, Ankur Taly
ENTCS
2007
91views more  ENTCS 2007»
15 years 4 months ago
Rule-Based Operational Semantics for an Imperative Language
Operational semantics for programming languages usually come in two flavours: big-step and small-step. Both are defined using deduction rules with a congruence rule allowing redu...
Florent Kirchner, François-Régis Sin...