899 search results - page 84 / 180 » A Temporal Language for SystemC |
140
click to vote
SEFM
2008
IEEE
15 years 10 months ago
2008
IEEE
Aspect oriented programming can arbitrarily distort the semantics of programs. In particular, weaving can invalidate crucial safety and liveness properties of the base program. In...
117
click to vote
LREC
2008
15 years 5 months ago
2008
EVALITA 2007, the first edition of the initiative devoted to the evaluation of Natural Language Processing tools for Italian, provided a shared framework where participants' ...
133
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
We address aggregate queries over GIS data and moving object data, where non-spatial information is stored in a data warehouse. We propose a formal data model and query language t...
117
click to vote
SP
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a methodology to automatically construct robust signatures whose accuracy is based on formal reasoning so it can be systematically evaluated. Our methodology is based o...
155
click to vote
VC
2010
15 years 2 months ago
2010
This paper presents an animation system that generates an animation from natural language texts such as movie scripts or stories. It also proposes a framework for a motion database...