16606 search results - page 3032 / 3322 » Context Modeling: Task Model and Practice Model |
125
click to vote
WCNC
2010
IEEE
15 years 8 months ago
2010
IEEE
—This paper addresses the sampling jitter estimation and cancellation task in direct RF sub-sampling type radios. The proposed jitter estimation method is based on carefully inje...
135
click to vote
ICAIL
2007
ACM
15 years 8 months ago
2007
ACM
For each industry, there exist many taxonomies that are intended for various applications. There are also multiple sources of regulations from different government agencies. Indus...
144
click to vote
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
Humans use computers to carry out tasks that neither is able to do easily alone: humans provide eyes, hands, and judgment while computers provide computation, networking, and stor...
116
click to vote
IAT
2009
IEEE
15 years 8 months ago
2009
IEEE
We introduce a novel multi agent patrolling algorithm inspired by the behavior of gas filled balloons. Very low capability ant-like agents are considered with the task of patrolli...
154
click to vote
ICFEM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...