Sciweavers

1247 search results - page 18 / 250
» A First Report on the A
Sort
View
DBISP2P
2004
Springer
131views Database» more  DBISP2P 2004»
15 years 5 months ago
Dissemination of Spatial-Temporal Information in Mobile Networks with Hotspots
In this paper we examine the dissemination of reports about resources in mobile networks with hotspots, where hotspots, vehicles and sensors communicate with each other via short-r...
Ouri Wolfson, Bo Xu, Huabei Yin
ISJ
2002
88views more  ISJ 2002»
14 years 11 months ago
Constructing a web information system development methodology
Abstract. This paper reports on the extension of the Multiview framework to webbased information systems. The aims are firstly to investigate the appropriateness of Multiview
Richard T. Vidgen
ICONIP
2008
15 years 1 months ago
Steady State Visual Evoked Potentials in the Delta Range (0.5-5 Hz)
The usually `accepted' limits of Steady State Visual Evoked Potentials are in the 3-60 Hz range. Recent studies reported SSVEP activities below 3 Hz, which remains a matter of...
François B. Vialatte, Monique Maurice, Just...
NDJFL
2002
83views more  NDJFL 2002»
14 years 11 months ago
Shortest Axiomatizations of Implicational S4 and S5
Shortest possible axiomatizations for the implicational fragments of the modal logics S4 and S5 are reported. Among these axiomatizations is included a shortest single axiom for im...
Zachary Ernst, Branden Fitelson, Kenneth Harris, L...
SIGSOFT
2004
ACM
15 years 5 months ago
Correlation exploitation in error ranking
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...
Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R...