Sciweavers

7504 search results - page 256 / 1501
» Computing with Action Potentials
Sort
View
FMCO
2006
Springer
123views Formal Methods» more  FMCO 2006»
15 years 6 months ago
Exhaustive Testing of Exception Handlers with Enforcer
Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initi...
Cyrille Artho, Armin Biere, Shinichi Honiden
ATAL
1995
Springer
15 years 6 months ago
Time, Knowledge, and Choice
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
Michael Wooldridge
AIPS
2007
15 years 4 months ago
Temporally-Expressive Planning as Constraint Satisfaction Problems
Due to its important practical applications, temporal planning is of great research interest in artificial intelligence. Yet most of the work in this area so far is limited in at...
Yuxiao Hu
CIKM
2008
Springer
15 years 4 months ago
Automatic metadata generation for scanned scientific volumes
Large scale digitization projects have been conducted at the Internet Archive digital library to preserve cultural artifacts and to provide permanent access. The increasing amount...
Xiaonan Lu, Brewster Kahle
INCDM
2010
Springer
208views Data Mining» more  INCDM 2010»
15 years 4 months ago
Combining Unsupervised and Supervised Data Mining Techniques for Conducting Customer Portfolio Analysis
Abstract. Leveraging the power of increasing amounts of data to analyze customer base for attracting and retaining the most valuable customers is a major problem facing companies i...
Zhiyuan Yao, Annika H. Holmbom, Tomas Eklund, Barb...