Sciweavers

2111 search results - page 252 / 423
» How to Program Pervasive Systems
Sort
View
ISSAC
2007
Springer
111views Mathematics» more  ISSAC 2007»
16 years 1 months ago
Numerical optimization in hybrid symbolic-numeric computation
Approximate symbolic computation problems can be formulated as constrained or unconstrained optimization problems, for example: GCD [3, 8, 12, 13, 23], factorization [5, 10], and ...
Lihong Zhi
UM
2005
Springer
16 years 11 days ago
Exploring Eye Tracking to Increase Bandwidth in User Modeling
The accuracy of a user model usually depends on the amount and quality of information available on the user’s states of interest. An eye-tracker provides data detailing where a u...
Cristina Conati, Christina Merten, Kasia Muldner, ...
XSYM
2005
Springer
107views Database» more  XSYM 2005»
16 years 11 days ago
Logic Wrappers and XSLT Transformations for Tuples Extraction from HTML
Abstract. Recently it was shown that existing general-purpose inductive logic programming systems are useful for learning wrappers (known as L-wrappers) to extract data from HTML d...
Costin Badica, Amelia Badica
SIGUCCS
2004
ACM
16 years 9 days ago
Walking the tightrope of faculty support
Determining the desired relationship between IT professionals and faculty is an important step in setting expectations and developing programs to achieve that relationship. Two co...
Kelly Wainwright, Bruce Arnold
ASP
2001
Springer
15 years 11 months ago
Genes and Ants for Default Logic
Default Logic and Logic Programming with stable model semantics are recognized as powerful frameworks for incomplete information representation. Their expressive power are suitabl...
Pascal Nicolas, Frédéric Saubion, Ig...