Sciweavers

1922 search results - page 75 / 385
» ie 2007
Sort
View
JMIV
2007
119views more  JMIV 2007»
13 years 8 months ago
On the Discrete Maximum Principle for the Beltrami Color Flow
We analyze the discrete maximum principle for the Beltrami color flow. The Beltrami flow can display linear as well as nonlinear behavior according to the values of a parameter ...
Lorina Dascal, Adi Ditkowski, Nir A. Sochen
JOLLI
2007
128views more  JOLLI 2007»
13 years 8 months ago
Linear temporal logic as an executable semantics for planning languages
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...
Marta Cialdea Mayer, Carla Limongelli, Andrea Orla...
JOT
2007
81views more  JOT 2007»
13 years 8 months ago
Persistent Objects and Capabilities in Timor
The paper describes how the idea of persistent objects is integrated into the Timor programming language. The strategy adopted allows types to be instantiated at two levels: as &q...
James Leslie Keedy, Klaus Espenlaub, Christian Hei...
JSAC
2007
87views more  JSAC 2007»
13 years 8 months ago
Hidden-Action in Network Routing
— In communication networks, such as the Internet or mobile ad-hoc networks, the actions taken by intermediate nodes or links are typically hidden from the communicating endpoint...
Michal Feldman, John Chuang, Ion Stoica, Scott She...
AEI
2004
74views more  AEI 2004»
13 years 8 months ago
Deployment of an ontological framework of functional design knowledge
Although the importance of knowledge sharing among designers has been widely recognized, knowledge about functionality in the conceptual design phase is hard to capture and is oft...
Yoshinobu Kitamura, Masakazu Kashiwase, Masayoshi ...