17082 search results - page 3366 / 3417 » Abstractions for Mobile Computation |
135
Voted
SIGLEX
1991
15 years 7 months ago
1991
This paper argues for a two-level theory of semantics as opposed to a one-level theory, based on the example of the system of temporal and durationM connectives. Instead of identi...
138
click to vote
EDBT
2010
ACM
15 years 7 months ago
2010
ACM
The specification of schema mappings has proved to be time and resource consuming, and has been recognized as a critical bottleneck to the large scale deployment of data integrati...
154
click to vote
CP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
151
click to vote
ICIA
2007
15 years 6 months ago
2007
We build the generic methodology based on machine learning and reasoning to detect the patterns of interaction between conflicting agents, including humans and their assistants. L...
158
click to vote
FLAIRS
2008
15 years 6 months ago
2008
Storyboards are commonly known as rows of pictures, which exemplarily sketch scenes in performing arts. The rows specify the sequence of scenes. The scenes themselves are illustra...