4902 search results - page 280 / 981 » Structures, Semantics and Statistics |
158
click to vote
IANDC
2010
15 years 5 months ago
2010
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a st...
266
click to vote
CBMS
2011
IEEE
14 years 6 months ago
2011
IEEE
Medical image simulation produces virtual images from software representations of imaging devices and virtual object models representing the human body. Object models consist of t...
162
click to vote
OTM
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Learning Object Metadata (LOM) is an interoperable standard focused on enabling the reuse of learning material for authoring lessons. Nevertheless, few work was done on t...
182
click to vote
ASIAN
1998
Springer
15 years 11 months ago
1998
Springer
In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities betwe...
163
click to vote
FSTTCS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...