Sciweavers

7167 search results - page 1162 / 1434
» Answer Set Programming
Sort
View
113
Voted
IUI
2010
ACM
15 years 9 months ago
Lowering the barriers to website testing with CoTester
In this paper, we present CoTester, a system designed to decrease the difficulty of testing web applications. CoTester allows testers to create test scripts that are represented ...
Jalal Mahmud, Tessa Lau
111
Voted
EVOW
2010
Springer
15 years 9 months ago
Comparing Aesthetic Measures for Evolutionary Art
Abstract. In this paper we investigate and compare four aesthetic measures within the context of evolutionary art. We evolve visual art with an unsupervised evolutionary art system...
E. den Heijer, A. E. Eiben
120
Voted
FOSSACS
2010
Springer
15 years 9 months ago
CIA Structures and the Semantics of Recursion
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
Stefan Milius, Lawrence S. Moss, Daniel Schwencke
93
Voted
BSN
2009
IEEE
160views Sensor Networks» more  BSN 2009»
15 years 9 months ago
BSN Simulator: Optimizing Application Using System Level Simulation
—A biomonitoring application running on wireless BAN has stringent timing and energy requirements. Developing such applications therefore presents unique challenges in both hardw...
Ioana Cutcutache, Thi Thanh Nga Dang, Wai Kay Leon...
CGO
2009
IEEE
15 years 9 months ago
ESoftCheck: Removal of Non-vital Checks for Fault Tolerance
—As semiconductor technology scales into the deep submicron regime the occurrence of transient or soft errors will increase. This will require new approaches to error detection. ...
Jing Yu, María Jesús Garzarán...
« Prev « First page 1162 / 1434 Last » Next »