1134 search results - page 191 / 227 » Using Constraints with Action Language for Model Evolution |
114
click to vote
WSC
2004
15 years 4 months ago
2004
This research investigates Speech Acts performed in the war film Platoon. It aims at finding details about the types of speech acts, their form and how they are expressed by the i...
143
click to vote
IEEESCC
2005
IEEE
15 years 8 months ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
122
click to vote
EUROMICRO
1996
IEEE
15 years 7 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
123
click to vote
PLANX
2008
15 years 4 months ago
2008
Regular Expressions (REs) form the basis of most XML type languages, such as DTDs, XML Schema types, and XDuce types (Thompson et al. 2004; Hosoya and Pierce 2003). In this contex...
121
click to vote
ICDAR
2009
IEEE
15 years 9 months ago
2009
IEEE
The word error rate of any optical character recognition system (OCR) is usually substantially below its component or character error rate. This is especially true of Indic langua...