5451 search results - page 576 / 1091 » Typed Operational Semantics |
172
Voted
ASC
2004
15 years 6 months ago
2004
Genetic algorithms are applied to an important, but little-investigated, network design problem, that of reconfiguring the topology and link capacities of an operational network t...
164
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
High level control of dynamic positioning systems on marine vessels using hybrid controller are developed to extend the operational weather window for marine operations to harsh e...
249
click to vote
JCS
1998
15 years 6 months ago
1998
A method is introducted for detecting intrusions at the level of privileged processes. Evidence is given that short sequences of system calls executed by running processes are a g...
223
click to vote
TCS
2010
15 years 5 months ago
2010
We consider a graph-theoretical formalization of the process of gene assembly in ciliates introduced in Ehrenfeucht et al (2003), where a gene is modeled as a signed graph. The ge...
174
Voted
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
This work introduces a robot driven camera controlled by speech. The SIMIS database of 20 recordings of real life surgical operations serves as basis for analyses and noise modell...