4150 search results - page 332 / 830 » A Practical Approach to Model Extension |
164
Voted
DALT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for efficient implementations, but prevents an...
127
click to vote
COMPGEOM
1994
ACM
15 years 8 months ago
1994
ACM
We devise techniques to manipulate a collection of loosely interpenetrating spheres in threedimensional space. Our study is motivated by the representation and manipulation of mol...
168
click to vote
JUCS
2002
15 years 4 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
169
click to vote
INFOCOM
2011
IEEE
14 years 8 months ago
2011
IEEE
—Recently, there has been great interest in physical layer security techniques that exploit the randomness of wireless channels for securely extracting cryptographic keys. Severa...
124
Voted
WSC
2001
15 years 6 months ago
2001
We describe an extension procedure for constructing new standardized time series procedures from existing ones. The approach is based on averaging over sample paths obtained by pe...