2284 search results - page 51 / 457 » The new iris data: modular data generators |
SSDBM
2000
IEEE
15 years 4 months ago
2000
IEEE
Benchmarking spatiotemporal database systems requires the definition of suitable datasets simulating the typical behavior of moving objects. Previous approaches for generating spa...
CAISE
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. We present the main features of a system designed to support the development and delivery of web applications through concepts for modularity, reuse and rapid prototyping...
GRAPHITE
2004
ACM
15 years 5 months ago
2004
ACM
Several factors currently limit the size of Virtual Reality Modeling Language (VRML) models that can be effectively visualized over the Web. Main factors include network bandwidth...
113
click to vote
TPHOL
2000
IEEE
15 years 4 months ago
2000
IEEE
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...
ENTCS
2006
14 years 12 months ago
2006
Industry is looking to create a market in reliable "plug-and-play" components. To model components in a modular style it would be useful to combine event-based and state...