14331 search results - page 2591 / 2867 » On the modeling and analysis of obligations |
192
click to vote
GIS
1995
ACM
15 years 11 months ago
1995
ACM
We stress the importance of requirements engineering (RE) for the development of large scale software in general and for GIS-applications in particular. RE analyses the problem do...
217
click to vote
PLDI
1995
ACM
15 years 11 months ago
1995
ACM
Traditional list schedulers order instructions based on an optimistic estimate of the load latency imposed by the hardware and therefore cannot respond to variations in memory lat...
272
Voted
VISUALIZATION
1995
IEEE
15 years 11 months ago
1995
IEEE
Advances in computer graphics hardware and algorithms, visualization, and interactive techniques for analysis offer the components for a highly integrated, efficient real-time 3D ...
208
click to vote
REX
1991
15 years 11 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
183
click to vote
ALT
2009
Springer
15 years 10 months ago
2009
Springer
Domain adaptation is a fundamental learning problem where one wishes to use labeled data from one or several source domains to learn a hypothesis performing well on a different, y...