1216 search results - page 127 / 244 » Translation analysis and translation automation |
APN
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
ICAIL
2007
ACM
13 years 10 months ago
2007
ACM
This paper describes the philosophy behind our tool called “Legal Taxonomy Syllabus”, the analytical instruments it provides and some case studies. The Legal Taxonomy Syllabus...
WCE
2007
13 years 9 months ago
2007
—This paper deals with different techniques for registration and fusion of remote sensed images. In this work the lower spatial resolution multispectral and higher resolution pan...
FMAM
2010
13 years 6 months ago
2010
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
IPCV
2010
13 years 6 months ago
2010
- Conventional video games are controlled by players via physical game controllers. A new emerging trend for game control in recent years is to use intelligent sensor based interfa...