Sciweavers

186 search results - page 3 / 38
» Categorical Views on Computations on Trees (Extended Abstrac...
Sort
View
ARCS
2004
Springer
14 years 4 months ago
Extending the MVC Design Pattern towards a Task-Oriented Development Approach for Pervasive Computing Applications
Abstract. This paper addresses the implementation of pervasive Java Web applications using a development approach that is based on the Model-ViewController (MVC) design pattern. We...
Patrick Sauter, Gabriel Vögler, Günther ...
CORR
2010
Springer
98views Education» more  CORR 2010»
13 years 11 months ago
Extended Computation Tree Logic
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
Roland Axelsson, Matthew Hague, Stephan Kreutzer, ...
CVPR
2008
IEEE
15 years 23 days ago
Combining brain computer interfaces with vision for object categorization
Human-aided computing proposes using information measured directly from the human brain in order to perform useful tasks. In this paper, we extend this idea by fusing computer vis...
Ashish Kapoor, Pradeep Shenoy, Desney S. Tan
ENTCS
2008
80views more  ENTCS 2008»
13 years 10 months ago
Idempotents in Dagger Categories: (Extended Abstract)
d abstract) Peter Selinger1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories were studied by Abramsky a...
Peter Selinger
ENTCS
2010
72views more  ENTCS 2010»
13 years 8 months ago
View-Augmented Abstractions
mented Abstractions Matt Eldera,1 , Denis Gopanb,2 , and Thomas Repsa,b,3 a Computer Sciences Department, Univ. of Wisconsin; Madison, WI; USA b GrammaTech, Inc.; Ithaca, NY; USA ...
Matt Elder, Denis Gopan, Thomas W. Reps