1809 search results - page 274 / 362 » Software Model Checking Using Linear Constraints |
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
In the past emotions have been dismissed as a distraction to the logical, scientific thought process. More recently however, the importance of emotion in human-like intelligence a...
GRAPHICSINTERFACE
2001
13 years 10 months ago
2001
Physics-based modeling integrates dynamics and geometry. The standard methods to solve the Lagrangian equations use a direct approach in the spatial domain. Though extremely power...
CGO
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper proposes the use of empirical modeling techniques for building microarchitecture sensitive models for compiler optimizations. The models we build relate program perform...
ICBA
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In this paper, we propose a face hallucination method using eigentransformation with distortion reduction. Different from most of the proposed methods based on probabilis...
TSP
2008
13 years 9 months ago
2008
The problem of opportunistic access of parallel channels occupied by primary users is considered. Under a continuous-time Markov chain modeling of the channel occupancy by the prim...