1181 search results - page 135 / 237 » constraints 2004 |
HSNMC
2004
Springer
14 years 2 months ago
2004
Springer
Network management is an area where many different technologies coexist. Several languages are used to define the information to be managed, which are specific of each management m...
HUC
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Infrastructures (persistent socio-technical systems over which services are delivered) are normally taken for granted by their users, but are powerful forces of constrain...
HYBRID
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...
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...
ICGI
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper investigates the learnability of Pregroup Grammars, a context-free grammar formalism recently defined in the field of computational linguistics. In a first ...