2203 search results - page 112 / 441 » Temporal Abstract Interpretation |
142
click to vote
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Machine learning approaches in natural language processing often require a large annotated corpus. We present a complementary approach that utilizes expert knowledge to o...
150
Voted
EUROPAR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Grids are very complex and volatile infrastructures that exhibit parallel and distributed characteristics. To harness their complexity as well as the increasing intricacy...
136
Voted
TSMC
2010
14 years 10 months ago
2010
Abstract--This paper presents a dynamic predictiveoptimization framework of a nonlinear temporal process. Datamining (DM) and evolutionary strategy algorithms are integrated in the...
120
click to vote
TWC
2010
14 years 10 months ago
2010
Abstract--In this paper we investigate the opportunistic spectrum access in temporal domain where a secondary user shares a radio channel with a primary user during the OFF period ...
121
Voted
EUROGP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...