Sciweavers

3481 search results - page 683 / 697
» Higher-Order Logic Programming as Constraint Logic Programmi...
Sort
View
174
Voted
FSKD
2007
Springer
193views Fuzzy Logic» more  FSKD 2007»
16 years 16 days ago
Panoramic Background Model under Free Moving Camera
segmentation of moving regions in outdoor environment under a moving camera is a fundamental step in many vision systems including automated visual surveillance, human-machine int...
Naveed I. Rao, Huijun Di, Guangyou Xu
174
Voted
SEMWEB
2007
Springer
16 years 14 days ago
Semantic Enterprise Technologies
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...
Massimo Ruffolo, Luigi Guadagno, Inderbir Sidhu
150
Voted
MICRO
2006
IEEE
84views Hardware» more  MICRO 2006»
16 years 11 days ago
Reunion: Complexity-Effective Multicore Redundancy
To protect processor logic from soft errors, multicore redundant architectures execute two copies of a program on separate cores of a chip multiprocessor (CMP). Maintaining identi...
Jared C. Smolens, Brian T. Gold, Babak Falsafi, Ja...
185
Voted
RTSS
2006
IEEE
16 years 11 days ago
MCGREP - A Predictable Architecture for Embedded Real-Time Systems
Real-time systems design involves many important choices, including that of the processor. The fastest processors achieve performance by utilizing architectural features that make...
Jack Whitham, Neil C. Audsley
195
Voted
VEE
2006
ACM
155views Virtualization» more  VEE 2006»
16 years 10 days ago
A feather-weight virtual machine for windows applications
Many fault-tolerant and intrusion-tolerant systems require the ability to execute unsafe programs in a realistic environment without leaving permanent damages. Virtual machine tec...
Yang Yu, Fanglu Guo, Susanta Nanda, Lap-Chung Lam,...