Sciweavers

2111 search results - page 355 / 423
» How to Program Pervasive Systems
Sort
View
ATAL
2010
Springer
13 years 10 months ago
Flexible task resourcing for intelligent agents
In many applications, tasks can be delegated to intelligent agents. In order to carry out a task, an agent should reason about what types of resources the task requires. However, ...
Murat Sensoy, Wamberto Weber Vasconcelos, Timothy ...
ECAI
2010
Springer
13 years 10 months ago
Learning Aggregation Functions for Expert Search
Abstract. Machine learning techniques are increasingly being applied to problems in the domain of information retrieval and text mining. In this paper we present an application of ...
Ronan Cummins, Mounia Lalmas, Colm O'Riordan
CORR
2008
Springer
137views Education» more  CORR 2008»
13 years 9 months ago
Combining generic judgments with recursive definitions
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
Andrew Gacek, Dale Miller, Gopalan Nadathur
ENGL
2008
100views more  ENGL 2008»
13 years 9 months ago
HIDE+: A Logic Based Hardware Development Environment
With the advent of System-On-Chip (SOC) technology, there is a pressing need to enhance the quality of ools available and increase the level of abstraction at which hardware is des...
Abdsamad Benkrid, Khaled Benkrid
JOT
2006
69views more  JOT 2006»
13 years 9 months ago
Initium RJS: A Macintosh Screensaver in Java, Part 3
We describe how to create a Java-based screensaver for a Macintosh. A screensaver is a program that automatically runs when the computer enters a quiescent state. Screensaver fram...
Douglas A. Lyon, Pawel Krepsztul, Francisco Castel...