Sciweavers

4761 search results - page 540 / 953
» Generalizing Boundary Points
Sort
View
184
Voted
ECP
1999
Springer
138views Robotics» more  ECP 1999»
15 years 11 months ago
Numeric State Variables in Constraint-Based Planning
We extend a planning algorithm to cover simple forms of arithmetics. The operator preconditions can refer to the values of numeric variables and the operator postconditions can mod...
Jussi Rintanen, Hartmut Jungholt
EUROCRYPT
1999
Springer
15 years 11 months ago
S-boxes with Controllable Nonlinearity
Abstract. In this paper, we give some relationship between the nonlinearity of rational functions over F2n and the number of points of associated hyperelliptic curve. Using this, w...
Jung Hee Cheon, Seongtaek Chee, Choonsik Park
185
Voted
FASE
1999
Springer
15 years 11 months ago
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
Eva Coscia, Gianna Reggio
ICIAP
1999
ACM
15 years 11 months ago
Self-Training Statistic Snake for Image Segmentation and Tracking
In this work we propose a new supervised deformable model that generalizes the classical contour-based snake. This model is defined to deform in a feature space generated by a se...
Xose Manuel Pardo, Petia Radeva, Juan José ...
DEXAW
1998
IEEE
160views Database» more  DEXAW 1998»
15 years 11 months ago
Coordination in Message-Based Environments: Restructuring Internet E-Mail to Accomplish Tasks
In this paper we consider e-mail as a task management tool. Our general goal is to restructure the domain of e-mail. The purpose is to make e-mail even more suitable for messageba...
Juha Takkinen, Nahid Shahmehri