4047 search results - page 488 / 810 » Some Properties and Some Problems on Set Functors |
162
click to vote
ASIAMS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper introduces a modified version of the well known global optimization technique named line search method. The modifications refer to the way in which the direction and th...
178
click to vote
IPC
2007
IEEE
16 years 29 days ago
2007
IEEE
Context reasoning refers to the process of giving high-level context deduction from a set of low-level contexts. It plays an indispensable role in ubiquitous computing. Most exist...
153
click to vote
CALCO
2007
Springer
16 years 25 days ago
2007
Springer
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...
168
click to vote
ECML
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We consider a new discriminative learning approach to sequence labeling based on the statistical concept of the Z-score. Given a training set of pairs of hidden-observed ...
142
click to vote
ICALP
2007
Springer
16 years 25 days ago
2007
Springer
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and verification, optim...