Sciweavers

2409 search results - page 418 / 482
» On Extended Regular Expressions
Sort
View
CC
2007
Springer
158views System Software» more  CC 2007»
14 years 10 months ago
The Complexity of Membership Problems for Circuits Over Sets of Natural Numbers
Abstract. The problem of testing membership in the subset of the natural numbers produced at the output gate of a {∪, ∩,− , +, ×} combinational circuit is shown to capture a...
Pierre McKenzie, Klaus W. Wagner
GEOINFORMATICA
2006
135views more  GEOINFORMATICA 2006»
14 years 10 months ago
Metadata Community Profiles for the Semantic Web
Metadata is needed to facilitate data sharing among geospatial information communities. Geographic Metadata Standards are available but tend to be general and complex in nature an...
Luis Bermudez, Michael Piasecki
IJCV
2006
110views more  IJCV 2006»
14 years 10 months ago
Multi-body Factorization with Uncertainty: Revisiting Motion Consistency
Dynamic analysis of video sequences often relies on the segmentation of the sequence into regions of consistent motions. Approaching this problem requires a definition of which mo...
Lihi Zelnik-Manor, Moshe Machline, Michal Irani
JCSS
2008
159views more  JCSS 2008»
14 years 10 months ago
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models
Internet worms are classically described using SIR models and simulations, to capture the massive dynamics of the system. Here we are able to generate a differential equation-base...
Jeremy T. Bradley, Stephen T. Gilmore, Jane Hillst...
INTERNET
2006
149views more  INTERNET 2006»
14 years 9 months ago
Concurrent Multiple-Issue Negotiation for Internet-Based Services
Negotiation is a technique for reaching mutually beneficial agreement among autonomous entities. A concurrent negotiation problem occurs when one entity is negotiating simultaneous...
Jiangbo Dang, Michael N. Huhns