Sciweavers

18429 search results - page 24 / 3686
» Typing dynamic typing
Sort
View
IJBC
2008
82views more  IJBC 2008»
13 years 10 months ago
Multiscroll in Coupled Double scroll Type oscillators
: A unidirectional coupling scheme is investigated in double scroll type chaotic oscillators that reveal interesting multiscroll dynamics. Instead of using self-oscillatory systems...
Syamal Kumar Dana, Brajendra K. Singh, Satyabrata ...
FLAIRS
2008
14 years 8 days ago
Causal Reasoning with Contexts Using Dependent Types
In Artificial Intelligence, a crucial requirement is the ability to reason about actions and their effects on the environment. Traditional approaches which rely on classical logic...
Richard Dapoigny, Patrick Barlatier
SAS
2005
Springer
114views Formal Methods» more  SAS 2005»
14 years 3 months ago
Type-Safe Optimisation of Plugin Architectures
Programmers increasingly implement plugin architectures in type-safe object-oriented languages such as Java. A virtual machine can dynamically load class files containing plugins,...
Neal Glew, Jens Palsberg, Christian Grothoff