Sciweavers

2645 search results - page 117 / 529
» time 2003
Sort
View
AGP
2003
IEEE
15 years 8 months ago
Using dynamic logic programming to model legal reasoning
Dynamic logic programming allows the representation and the inference of evolving knowledge. Legal knowledge reasoning needs the capability to model laws that change over time and ...
N. Graca, Paulo Quaresma
SEBD
2003
112views Database» more  SEBD 2003»
15 years 6 months ago
A temporal data model and system architecture for the management of normative texts
Abstract. In this paper, we present the preliminary results of an ongoing research activity concerning the temporal management of normative texts in XML format. In particular, four...
Fabio Grandi, Federica Mandreoli, Paolo Tiberio, M...
INFOCOM
2003
IEEE
15 years 10 months ago
Improved BGP Convergence via Ghost Flushing
— In [1], [2] it was noticed that sometimes it takes BGP a substantial amount of time and messages to converge and stabilize following the failure of some node in the Internet. I...
Anat Bremler-Barr, Yehuda Afek, Shemer Schwarz
VTS
2003
IEEE
122views Hardware» more  VTS 2003»
15 years 10 months ago
A Reconfigurable Shared Scan-in Architecture
In this paper, an efficient technique for test data volume reduction based on the shared scan-in (Illinois Scan) architecture and the scan chain reconfiguration (Dynamic Scan) arc...
Samitha Samaranayake, Emil Gizdarski, Nodari Sitch...
ICIP
2003
IEEE
16 years 6 months ago
Robust motion detector for video surveillance applications
1 This paper presents a robust motion-detector video sensor. It is intended to operate in surveillance applications for long periods of time with time-varying noise level. It make...
Antonio Albiol, C. Sandoval, José Manuel Mo...