Sciweavers

4325 search results - page 473 / 865
» Incremental computation with names
Sort
View
ISSS
1995
IEEE
116views Hardware» more  ISSS 1995»
15 years 10 months ago
The Chinook hardware/software co-synthesis system
Designers of embedded systems are facing ever tighter constraintson design time, but computer aided design tools for embedded systems have not kept pace with these trends. The Chi...
Pai H. Chou, Ross B. Ortega, Gaetano Borriello
ACNS
2010
Springer
145views Cryptology» more  ACNS 2010»
15 years 10 months ago
A Hybrid Method to Detect Deflation Fraud in Cost-Per-Action Online Advertising
Abstract. Web advertisers prefer the cost-per-action (CPA) advertisement model whereby an advertiser pays a web publisher according to the actual amount of transactions, rather tha...
Xuhua Ding
ATAL
2005
Springer
15 years 8 months ago
Tactical coordination in no-press diplomacy
While there is a broad theoretic foundation for creating computational players for two-player games, such as Chess, the multi-player domain is not as well explored. We make an att...
Stefan J. Johansson, Fredrik Håård
APPROX
2008
Springer
137views Algorithms» more  APPROX 2008»
15 years 8 months ago
Approximating Directed Weighted-Degree Constrained Networks
Given a graph H = (V, F) with edge weights {w(e) : e F}, the weighted degree of a node v in H is {w(vu) : vu F}. We give bicriteria approximation algorithms for problems that see...
Zeev Nutov
ICAT
2007
IEEE
15 years 8 months ago
New Tetrahedral Mesh Generation Method based on Delaunay Criteria and Space Disassembling
The requirement of tetrahedral mesh generation algorithm, which is a prerequisite of many soft tissue simulation methods, becomes very strict because of the real-time requirement ...
Xiao Yu, Weitao Chen, Pengfei Huang, Sizhe Lv, Lix...