3312 search results - page 309 / 663 » A Systemic Plan of Technology Integration |
169
click to vote
DSVIS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
240
click to vote
AGP
2003
IEEE
16 years 10 hour ago
2003
IEEE
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...
151
click to vote
SSDBM
2003
IEEE
15 years 12 months ago
2003
IEEE
It is now common to encounter communities engaged in the collaborative analysis and transformation of large quantities of data over extended time periods. We argue that these comm...
164
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Families of differential operators, like those defining affine, generally nonlinear, control systems are known to have natural Hopf algebra structures. These provide ...
175
click to vote
SIGGRAPH
1991
ACM
15 years 10 months ago
1991
ACM
A major problem challenging opera designers is the inability to coordinate lighting, projection systems, and set designs in the preliminary planning phase. New computer graphics t...