Sciweavers

7628 search results - page 1117 / 1526
» Spatial P systems
Sort
View
GROUP
2003
ACM
16 years 20 hour 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
16 years 18 hour 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
16 years 3 hour 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 12 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
« Prev « First page 1117 / 1526 Last » Next »