Sciweavers

4987 search results - page 653 / 998
» Fuzzifying P Systems
Sort
View
GROUP
2003
ACM
15 years 12 months ago
Data at work: supporting sharing in science and engineering
Data are a fundamental component of science and engineering work, and the ability to share data is critical to the validation and progress of science. Data sharing and reuse in so...
Jeremy P. Birnholtz, Matthew J. Bietz
IUI
2003
ACM
15 years 12 months ago
An adaptive stock tracker for personalized trading advice
The Stock Tracker is an adaptive recommendation system for trading stocks that automatically acquires content-based models of user preferences to tailor its buy and sell advice. T...
Jungsoon P. Yoo, Melinda T. Gervasio, Pat Langley
CAISE
2003
Springer
15 years 12 months ago
Decision Support By Learning-On-Demand
Abstract. Decision-support systems provide a large functionality supporting the decision making process. They allow to draw conclusions from data provided by users. In order to be ...
Klaus P. Jantke, Martin Memmel, Oleg Rostanin, Ber...
FM
2003
Springer
104views Formal Methods» more  FM 2003»
15 years 12 months ago
Proving the Shalls
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
Steven P. Miller, Alan C. Tribble, Mats Per Erik H...
DATE
2010
IEEE
119views Hardware» more  DATE 2010»
15 years 11 months ago
Exploiting local logic structures to optimize multi-core SoC floorplanning
Abstract—We present a throughput-driven partitioning algorithm and a throughput-preserving merging algorithm for the high-level physical synthesis of latency-insensitive (LI) sys...
Cheng-Hong Li, Sampada Sonalkar, Luca P. Carloni