Sciweavers

4345 search results - page 290 / 869
» Temporal Constraint Networks
Sort
View
AUTOMATICA
2007
102views more  AUTOMATICA 2007»
15 years 6 months ago
An extension of duality to a game-theoretic framework
This paper extends some duality results from a standard optimization setup to a noncooperative (Nash) game framework. A Nash game (NG) with coupled constraints is considered. Solv...
Lacra Pavel
ENTCS
2010
84views more  ENTCS 2010»
15 years 6 months ago
Resource Modeling for Timed Creol Models
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
Rudolf Schlatte, Bernhard K. Aichernig, Andreas Gr...
JMLR
2006
104views more  JMLR 2006»
15 years 6 months ago
Learning Image Components for Object Recognition
In order to perform object recognition it is necessary to learn representations of the underlying components of images. Such components correspond to objects, object-parts, or fea...
Michael W. Spratling
CONCUR
2009
Springer
16 years 1 months ago
Query-Based Model Checking of Ad Hoc Network Protocols
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
ICMCS
2005
IEEE
87views Multimedia» more  ICMCS 2005»
16 years 9 days ago
Performance of Multiple Description Coding in Sensor Networks with Finite Buffers
Sensor networks are usually dense networks where the network diversity can be exploited in order to overcome failures. In this paper, we study the use of multiple description tech...
Enrico Baccaglini, Guillermo Barrenetxea, Baltasar...