Sciweavers

4890 search results - page 895 / 978
» From system specifications to component behavioral models
Sort
View
137
Voted
KDD
2004
ACM
150views Data Mining» more  KDD 2004»
16 years 4 months ago
Complete This Puzzle: A Connectionist Approach to Accurate Web Recommendations Based on a Committee of Predictors
Abstract. We present a Context Ultra-Sensitive Approach based on two-step Recommender systems (CUSA-2step-Rec). Our approach relies on a committee of profile-specific neural networ...
Olfa Nasraoui, Mrudula Pavuluri
CCECE
2006
IEEE
15 years 10 months ago
A Formal CSP Framework for Message-Passing HPC Programming
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
John D. Carter, William B. Gardner
DATE
2006
IEEE
100views Hardware» more  DATE 2006»
15 years 10 months ago
Simulation and analysis of network on chip architectures: ring, spidergon and 2D mesh
NoC architectures can be adopted to support general communications among multiple IPs over multi-processor Systems on Chip (SoCs). In this work we illustrate the modeling and simu...
Luciano Bononi, Nicola Concer
ICRA
2006
IEEE
113views Robotics» more  ICRA 2006»
15 years 10 months ago
Mobile in vivo Biopsy Robot
– A mobile in vivo camera robot was developed to provide the ability for a single port biopsy procedure. Such a robot can be inserted into the abdominal cavity through a standard...
Mark Rentschler, Jason Dumpert, Stephen Platt, Dmi...
132
Voted
VISUAL
2005
Springer
15 years 9 months ago
Wayfinding Choreme Maps
This contribution details how conceptual characterizations of route knowledge can provide the basis for graphical route information in a cognitively adequate way. The approach is b...
Alexander Klippel, Kai-Florian Richter, Stefan Han...