2583 search results - page 225 / 517 » On the Representation of Timed Polyhedra |
116
click to vote
JSAC
2006
15 years 6 months ago
2006
This manuscript introduces a mathematically tractable and accurate model of narrowband power line noise based on experimental measurements. In this paper, the noise is expressed as...
205
click to vote
NJC
2006
15 years 6 months ago
2006
Regular tree queries (RTQs) are a class of queries considered especially relevant for the expressiveness and evaluation of XML query languages. The algorithms proposed so far for ...
179
click to vote
CGF
2004
15 years 6 months ago
2004
Flow visualization has been a very attractive component of scientific visualization research for a long time. Usually very large multivariate datasets require processing. These da...
153
click to vote
AAI
2000
15 years 6 months ago
2000
: As Virtual Environments applications become more complex, there is a need to interpret user interaction in terms of high-level concepts. In this paper, we investigate the relatio...
156
click to vote
ENTCS
2002
15 years 6 months ago
2002
This paper presents PLCTools, a formal environment for designing and simulating programmable controllers. Control models are specified with IEC FBD (Function Block Diagram), and t...