Sciweavers

2373 search results - page 384 / 475
» Modelling Facial Behaviours
Sort
View
JCP
2008
133views more  JCP 2008»
15 years 3 months ago
YAVISTA: A Graphical Tool for Comparing 802.11 Simulators
The difficulty to compare network simulators is a major obstacle to the broader adoption of these tools. This problem particularly affects 802.11 simulators because the 802.11 prot...
Ryad Ben-El-Kezadri, Farouk Kamoun
CORR
2007
Springer
141views Education» more  CORR 2007»
15 years 3 months ago
Managing Uncertainty: A Case for Probabilistic Grid Scheduling
The Grid technology is evolving into a global, service-orientated architecture – a universal platform for delivering future high demand computational services. Strong adoption of...
Aleksandar Lazarevic, Lionel Sacks, Ognjen Prnjat
JAR
2006
106views more  JAR 2006»
15 years 3 months ago
Some Computational Aspects of distance-sat
In many AI fields, the problem of finding out a solution which is as close as possible to a given configuration has to be faced. This paper addresses this problem in a propositiona...
Olivier Bailleux, Pierre Marquis
JUCS
2008
137views more  JUCS 2008»
15 years 3 months ago
Context-Oriented Programming with the Ambient Object System
In this paper we present AmOS, the Ambient Object System that underlies the Ambience programming language. AmOS implements a computation model that supports highly dynamic behaviou...
Sebastián González, Kim Mens, Alfred...
121
Voted
ENTCS
2007
91views more  ENTCS 2007»
15 years 3 months ago
A Logic for Reasoning about Generic Judgments
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
Alwen Tiu