15416 search results - page 64 / 3084 » Embeddings of Computable Structures |
84
Voted
CAD
2007
Springer
15 years 24 days ago
2007
Springer
We introduce a novel representation for visibility in three dimensions and describe an efficient algorithm to construct it. The data structure is a spherical map that consists of...
115
Voted
ETFA
2008
IEEE
15 years 2 months ago
2008
IEEE
In this paper we discuss the separation between attributes on functionality and on structure following an approach based on Model Driven Engineering (MDE). We adopt a methodologic...
90
Voted
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
108
click to vote
IJCNLP
2004
Springer
15 years 6 months ago
2004
Springer
This paper describes an intelligent text archive system in which typed feature structures are embedded. The aim of the system is to associate feature structures with regions in tex...
106
click to vote
MMSEC
2006
ACM
15 years 6 months ago
2006
ACM
In this paper, we study the trade-off in steganography between the number of embedding changes and their amplitude. We assume that each element of the cover image is assigned a sc...