4520 search results - page 578 / 904 » Algebraic Techniques for Timed Systems |
235
click to vote
SIGMOD
1997
ACM
15 years 11 months ago
1997
ACM
Aggregation in traditional database systems is performed in batch mode: a query is submitted, the system processes a large volume of data over a long period of time, and, eventual...
159
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Agent-based modeling is a powerful tool for systems modeling. Instantiating each domain entity with an agent permits us to capture many aspects of system dynamics and interactions...
182
click to vote
PADL
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we demonstrate how Functional Reactive Programming (FRP), a framework for the description of interactive systems, can be extended to encompass parallel systems. FRP ...
200
click to vote
IJCAI
2007
15 years 8 months ago
2007
Recommender systems are an emerging technology that helps consumers to find interesting products. A recommender system makes personalized product suggestions by extracting knowle...
156
click to vote
MS
2003
15 years 8 months ago
2003
Manufacturing test structures of microsensors and microactuators is very expensive in terms of time and materials. In a conventional design process, this limits the number of desi...