1521 search results - page 74 / 305 » On Sampled Semantics of Timed Systems |
VMCAI
2004
Springer
14 years 4 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
ESWS
2010
Springer
14 years 3 months ago
2010
Springer
Semantic Web policies are general statements defining the behavior of a system that acts on behalf of real users. These policies have various applications ranging from dynamic age...
ACL
1993
14 years 10 days ago
1993
In this paper we present a method to group adjectives according to their meaning, as a first step towards the automatic identification of adjectival scales. We discuss the propert...
SSDBM
2008
IEEE
14 years 5 months ago
2008
IEEE
We propose an automatic method for modeling a relational database that uses SQL triggers and foreign-keys to efficiently answer positive semantic queries about ground instances for...
DAGSTUHL
2007
14 years 13 days ago
2007
Abstract. Moving objects produce trajectories, which are stored in databases by means of finite samples of time-stamped locations. When also speed limitations in these sample poin...