Sciweavers

2284 search results - page 51 / 457
» The new iris data: modular data generators
Sort
View
SSDBM
2000
IEEE
126views Database» more  SSDBM 2000»
14 years 1 days ago
Generating Network-Based Moving Objects
Benchmarking spatiotemporal database systems requires the definition of suitable datasets simulating the typical behavior of moving objects. Previous approaches for generating spa...
Thomas Brinkhoff
CAISE
2003
Springer
14 years 27 days ago
From State to Structure: an XML Web Publishing Framework
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...
Moira C. Norrie, Alexios Palinginis
GRAPHITE
2004
ACM
14 years 1 months ago
A new fractal-based approach for 3D visualization of mountains in VRML standard
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...
Mohsen Sharifi, Fatemeh Hashemi Golpaygani, Mehdi ...
TPHOL
2000
IEEE
14 years 1 days ago
Fast Tactic-Based Theorem Proving
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...
Jason Hickey, Aleksey Nogin
ENTCS
2006
116views more  ENTCS 2006»
13 years 7 months ago
Stepwise Refinement of Processes
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...
Steve Reeves, David Streader