1998 search results - page 275 / 400 » Situated Control Rules |
151
click to vote
FUIN
2007
15 years 4 months ago
2007
The nets considered here are an extension of Petri nets in two aspects. In the semantical aspect, there is no one firing rule common to all transitions, but every transition is tr...
116
Voted
APAL
2005
15 years 4 months ago
2005
We present an extension of Heyting Arithmetic in finite types called Uniform Heyting Arithmetic (HAu) that allows for the extraction of optimized programs from constructive and cla...
148
Voted
ALIFE
2004
15 years 4 months ago
2004
In a traditional cellular automaton (CA) a cell is implemented by a rule table defining its state at the next time step, given its present state and those of its neighbors. The cel...
151
click to vote
CVGIP
2002
15 years 4 months ago
2002
In this paper we describe a method for creating sharp features and trim regions on multiresolution subdivision surfaces along a set of user-defined curves. Operations such as engr...
163
click to vote
PAMI
2007
15 years 4 months ago
2007
—This paper focus on noncooperative iris recognition, i.e., the capture of iris images at large distances, under less controlled lighting conditions, and without active participa...