5451 search results - page 945 / 1091 » Typed Operational Semantics |
136
click to vote
NIPS
2008
15 years 5 months ago
2008
Uncertainty is omnipresent when we perceive or interact with our environment, and the Bayesian framework provides computational methods for dealing with it. Mathematical models fo...
107
click to vote
SEC
2008
15 years 5 months ago
2008
A particular type of spyware which uses the user's events covertly, such as keyloggers and password stealers, has become a big threat to Internet users. Due to the prevalence ...
103
Voted
SBBD
2007
15 years 5 months ago
2007
Integrating geographical and multidimensional processing has been proposed in several researches in the database literature. One of the most important issues of this process is dat...
113
click to vote
APVIS
2006
15 years 5 months ago
2006
The geometry PIG is a system that can inspect the inside of a pipeline. The amount of pigging data is usually considerable because the system records multi-channel sensor values f...
122
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
Structured linear algebra techniques enable one to deal at once with various types of matrices, with features such as Toeplitz-, Hankel-, Vandermonde- or Cauchy-likeness. Following...